Theory and applications of satisfiability testing -- SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings /

Bibliographic Details
Corporate Authors:	SAT 2006 Seattle, Wash., SpringerLink (Online service)
Other Authors:	Biere, Armin, Gomes, Carla
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2006]
Series:	Lecture notes in computer science. 4121.
Subjects:	Algebra, Boolean > Congresses. Computer algorithms > Congresses. Decision making > Congresses. Propositional calculus > Congresses. Algorithmes > Congrès. Boole, Algèbre de > Congrès. Calcul propositionnel > Congrès. Prise de décision > Congrès. Electronic books.
Online Access:	Connect to the full text of this electronic book Publisher description

Published 2006

Conference Proceeding Book