Combinational equivalence checking using Boolean satisfiability and binary decision diagrams.
Sherief RedaA. SalemPublished in: DATE (2001)
Keyphrases
- boolean satisfiability
- binary decision diagrams
- boolean formula
- boolean functions
- probabilistic planning
- randomly generated
- planning problems
- variable ordering
- branch and bound algorithm
- sat solvers
- integer linear programming
- sat problem
- model checking
- symmetry breaking
- knowledge compilation
- max sat
- uniform distribution
- phase transition
- upper bound
- combinatorial problems
- domain independent