Theory and applications of satisfiability testing: 8th international conference, sat 2005, st andrews, scotland, june 19-23, 2005, proceedings
Auteur :
Bacchus, Fahiem
ISBN :
9783540262763
Date de publication :
9 juin 2005
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
705 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Research in propositional and quantified Boolean formula satisfiability testing is covered. This book also includes information on proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.