Using DPLL for Efficient OBDD Construction

Theory and Applications of Satisfiability Testing - Lecture Notes in Computer Science ◽

10.1007/11527695_13 ◽

2005 ◽

pp. 157-172 ◽

Cited By ~ 12

Author(s):

Jinbo Huang ◽

Adnan Darwiche

Download Full-text