Approximability and Nonapproximability by Binary Decision Diagrams

Beate Bollig Ingo Wegener

Published in: Electron. Colloquium Comput. Complex. (2000)

Keyphrases

binary decision diagrams
boolean functions
symbolic model checking
approximation algorithms
variable ordering
planning problems
model checking
knowledge compilation
data streams
databases
artificial intelligence
np hard
domain independent