Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science, 3569)

ISBN 10: 3540262768 / ISBN 13: 9783540262763

Edité par Springer, 2005

A propos de cet article

Well packaged and promptly shipped from California. US veteran operated. N° de réf. du vendeur 1LAGBP001D50

Détails bibliographiques

Titre : Theory and Applications of Satisfiability ...

Éditeur : Springer

Date d'édition : 2005

Reliure : paperback

Etat : New

A propos de ce titre

Synopsis :

Theory and Applications of Satisfiability Testing 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.