Handbook of Satisfiabilityby Armin Biere, Hans van Maaren, Toby WalshComputersWriting a summary for young readers…For young readersBook data: Open Library