Decision procedures an algorithmic point of view - Kroening, Daniel; Strichman, Ofer (Berlin Springer, 2008)
Keywords: Algorithms; Decision making -- Mathematical models; Propositional calculus