Jessica Davies Fahiem Bacchus Using More Reasoning to Improve #SAT Solving. 185-190 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#DaviesB07