sur 49
Handbook of Satisfiability — Toby Walsh, Armin Biere, Hans van Maaren