Lower Bound Sifting for MDDs.

Dragan Jankovic Wolfgang Günther Rolf Drechsler

Published in: ISMVL (2000)

Keyphrases

knowledge compilation
lower bound
upper bound
decision diagrams
np hard
objective function
optimal solution
normal form
markov decision processes
image compression
constraint satisfaction problems
databases
efficient computation