Handbook of Satisfiability (2nd Edition)

Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh (eds.) · 2021

2025-09-15 ·

2025 · research desk-reference · sat maxsat smt automated-reasoning handbook

Handbook of Satisfiability (2nd Edition) cover — Cover of *Handbook of Satisfiability (2nd Edition)* on the Open Library.

The reference for everything CDCL, MaxSAT, and proof-system related. Chapters on conflict-driven search and on inprocessing techniques are most relevant to my MWDS / DiverseSAT / NLIP work; the MaxSAT chapter reset my mental model of how PB / WBO / hybrid solvers actually trade off bound quality vs. search effort.