THEORY AND APPLICATIONS OF SATISFIABILITY TESTING; V. 3569 THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - Bacchus,Fahiem; Walsh,Toby (Springer-Verlag, Berlin, 2005)
Keywords: Propositional Calculus -- Congresses; Decision Making -- Congresses; Computer Algorithms -- Congresses