Using DPLL for Efficient OBDD Construction.

Jinbo Huang Adnan Darwiche

Published in: SAT (Selected Papers (2004)

Keyphrases

np complete
lightweight
cost effective
real time
machine learning
learning algorithm
lower bound
special case
computationally efficient
boolean functions
satisfiability testing
model counting