Handbook of satisfiability - Biere, Armin (Amsterdam, Netherland Washington, DC IOS Press, 2009)
Keywords: Algebra, Boolean -- Congresses; Computer algorithms -- Congresses; Decision making -- Congresses; Propositional calculus -- Congresses