Skip recommendations
Mostrando 1 - 2 Resultados de 2 Para Buscar 'Sakallah, Karem A.', tiempo de consulta: 0.01s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Theory and Application of Satisfiability Testing 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings /
    Publicado 2011
    Otros Autores: “…Sakallah, Karem A.…”
    Texto Completo
    Electrónico eBook
  2. 2
    Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings /
    Publicado 2007
    Otros Autores:
    Texto Completo
    Electrónico eBook