Theory and applications of satisfiability testing: 7th international conference, sat 2004, vancouver, bc, canada, may 10-13, 2004, revised selected papers
Auteur :
Hoos, Holger H.
ISBN :
9783540278290
Date de publication :
8 juil. 2005
Dimensions :
23,4 x 15,6 x 2,1 cm
Poids :
576 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004. This book contains papers and reports covering a spectrum of research in propositional and quantified Boolean formula satisfiability testing; and the fields of theoretical and experimental computer science.