Home›Books›Theory and applications of satisfiability testingTheory and applications of satisfiability testingby Fahiem Bacchus, Toby WalshNo description available.Computer algorithmsPropositional calculusCongressesDecision making