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

by Jinbo Huang, Adnan Darwiche
Venue: IJCAI-05