Jinbo Huang, Adnan Darwiche
Using DPLL for Efficient OBDD Construction
ICST, 2005.
@inproceedings{SAT-J-2004-HuangD05, author = "Jinbo Huang and Adnan Darwiche", booktitle = "{Revised Selected Papers of the Seventh International Conference on Theory and Applications of Satisfiability Testing}", doi = "10.1007/11527695_13", isbn = "3-540-27829-X", pages = "157--172", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Using DPLL for Efficient OBDD Construction}", volume = 3542, year = 2005, }