Descripción: Handbook of satisfiability /

Guardado en:

Otros Autores:	Biere, Armin.
Formato:	Libro
Idioma:	English
Publicado:	Amsterdam, The Netherlands ; Washington, DC : IOS Press, c2009.
Series:	Frontiers in artificial intelligence and applications, v. 185
Materias:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Algebra, Boolean > Congresses. Algorithmus. Anwendung. Berechnungskomplexität. Erfüllbarkeitsproblem.
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Descripción Física:	xiii, 966 p. : il. ; 25 cm.
Bibliografía:	Incluye referencias bibliográficas e índices.
ISBN:	9781586039295
ISSN:	0922-6389 ;