dblp.uni-trier.de www.uni-trier.de

Handbook of Satisfiability 2009

Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh (Eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185 IOS Press 2009, ISBN 978-1-58603-929-5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Part I. Theory and Algorithms

Part II. Applications and Extensions

Copyright © Mon Mar 15 21:59:42 2010 by Michael Ley (ley@uni-trier.de)