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