Using More Reasoning to Improve #SAT Solving.

Jessica Davies, Fahiem Bacchus

Browse the full AAAI paper archive.