Improved Binary Decision Diagram Constraint Propagation for Satisfiability Problems.
Oswaldo OlivoE. Allen EmersonPublished in: SCCC (2012)
Keyphrases
- constraint propagation
- satisfiability problem
- finite domain
- constraint satisfaction problems
- binary decision diagrams
- constraint programming
- np complete
- constraint satisfaction
- phase transition
- temporal logic
- constraint solving
- search algorithm
- temporal constraints
- tree search
- sat problem
- stochastic local search
- arc consistency
- model checking
- constraint solver
- constraint logic programming
- boolean functions
- max sat
- search space
- search strategies
- combinatorial problems
- sat instances
- linear programming
- special case
- boolean formula