DPLL with a trace: From SAT to knowledge compilation (2005)

by Jinbo Huang , Adnan Darwiche
Venue: IJCAI-05
Citations:21 - 2 self

Document Versions

DPLL with a trace: From SAT to knowledge compilation –Jinbo Huang, Adnan Darwiche — 2005 — IJCAI-05