Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities.
Mitchell A. ThorntonJ. P. WilliamsRolf DrechslerNicole DrechslerPublished in: DATE (1999)
Keyphrases
- binary decision diagrams
- variable ordering
- symbolic model checking
- probability values
- boolean functions
- boolean formula
- model checking
- branch and bound algorithm
- database
- knowledge compilation
- learning algorithm
- planning problems
- knowledge acquisition
- multi dimensional
- information extraction
- data streams
- reinforcement learning