Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability.
Calvin HuangSoonho KongSicun GaoDamien ZuffereyPublished in: NSV@CAV (2019)
Keyphrases
- constraint propagation
- interval arithmetic
- interval analysis
- variable ordering heuristics
- tree search
- constraint satisfaction problems
- constraint reasoning
- constraint programming
- constraint satisfaction
- constraint solving
- np complete
- search space
- satisfiability problem
- temporal constraints
- systematic search
- branch and bound
- variable ordering
- stochastic local search
- constraint solvers
- sat problem
- phase transition
- quantifier elimination
- random instances
- search algorithm
- propositional logic
- constrained problems
- constraint solver
- propositional satisfiability
- arc consistency
- constraint graph
- search tree
- computational complexity
- finite domain
- search strategies
- heuristic search
- video sequences
- partial solutions