Vista normal Vista MARC Vista ISBD

Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings / SAT 2006 Armin Biere, Carla P. Gomes, eds. - xii, 438 páginas : ilustraciones - Lecture notes in computer science, 4121 . - Lecture notes in computer science .

ISBN: 3540372067 9783540372066

Subjects--Topical Terms:
Cálculo proposicional--Congresos
Toma de decisiones--Congresos
Algoritmos computacionales--Congresos
Álgebra booleana--Congresos

LC Class. No.: QA9.3 / S35 2006

Dewey Class. No.: 511.3