Using DPLL for Efficient OBDD Construction.

Jinbo Huang, Adnan Darwiche

Browse the full SAT paper archive.