Jinbo Huang, Adnan Darwiche
Using DPLL for Efficient OBDD Construction
SAT, 2004.
@inproceedings{SAT-2004-HuangD,
author = "Jinbo Huang and Adnan Darwiche",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/61.pdf",
pages = "127--136",
title = "{Using DPLL for Efficient OBDD Construction}",
year = 2004,
}