Solving Non-clausal Formulas with DPLL Search.

Christian Thiffault Fahiem Bacchus Toby Walsh Solving Non-clausal Formulas with DPLL Search. 663-678 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3258&spage=663 2004 conf/cp/2004 CP db/conf/cp/cp2004.html#ThiffaultBW04