DMCA

Encoding CNFs to Empower Component Analysis (2006)

Cached

Download Links

by Mark Chavira , Adnan Darwiche
Venue:IN PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT
Citations:9 - 4 self