Skip to content

Theory and applications of satisfiability testing

by Fahiem Bacchus, Toby Walsh

Cover of Theory and applications of satisfiability testing

No description available.

Computer algorithmsPropositional calculusCongressesDecision making