Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking.
Jeroen MeijerJaco van de PolPublished in: CoRR (2015)
Keyphrases
- symbolic model checking
- variable ordering
- binary decision diagrams
- model checking
- boolean functions
- planning problems
- branch and bound algorithm
- formal verification
- partial observability
- knowledge compilation
- symbolic representation
- artificial intelligence
- model checker
- max sat
- fp tree
- temporal logic
- constraint satisfaction
- expert systems