Using More Reasoning to Improve #SAT Solving.

Jessica Davies Fahiem Bacchus

Published in: AAAI (2007)

Keyphrases

sat solving
special case
knowledge base
objective function
knowledge representation