Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Jinbo Huang, Adnan Darwiche. Using DPLL for Efficient OBDD Construction. In SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings. 2004. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Using DPLL for Efficient OBDD ConstructionJinbo Huang, Adnan Darwiche. sat 2005: 157-172 [doi] Using OBDDs for Efficient Query Evaluation on Probabilistic DatabasesDan Olteanu, Jiewen Huang. lipari 2008: 326-340 [doi]
The following publications are possibly variants of this publication: