Theory and applications of satisfiability testing -- SAT 2006
by Armin Biere
Computer algorithmsPropositional calculusCongressesDecision makingBoolean AlgebraLogic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library