@Inproceedings{HuangIJCAI05,
author = {Jinbo Huang and Adnan Darwiche},
title = {DPLL with a Trace: From SAT to Knowledge Compilation},
booktitle = {Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI)},
pages = {156-162},
location = {Edinburgh, Scotland},
year = {2005}
}