Handbook of Satisfiability
Edited by Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh
Published by
IOS Press
(February 2009) See also
Order information
Abstracts
Table of Contents
Drafts of the Chapters
Full description in bibtex
