Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers /

Bibliographic Details
Corporate Authors:	SAT 2004 Vancouver, B.C., SpringerLink (Online service)
Other Authors:	Hoos, Holger H., Mitchell, David G., Ph. D.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2005]
Series:	Lecture notes in computer science. 3542.
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. Algèbre de Boole. Algorithme. Calcul des propositions. Prise de décision. Test de satisfaisabilité. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online