Title: Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings /
Authors: Bacchus, Fahiem.; Walsh, Toby.
Publisher: Springer,
Year: 2005
Subjects: Propositional calculus Congresses.; Decision making Congresses; Computer algorithms Congresses.