@inproceedings{HuangSAT04,
author = {Jinbo Huang and Adnan Darwiche},
title = {Using DPLL for Efficient OBDD Construction},
booktitle = {Seventh International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3542},
pages = {157-172},
location = {Vancouver, Cananda},
year = {2005}
}