Direct finite first-order model generation with negative constraint propagation heuristic.
Olga ShumskyRalph W. WilkersonWilliam McCuneFikret ErçalPublished in: SAC (1997)
Keyphrases
- constraint propagation
- quantifier elimination
- constraint satisfaction
- tree search
- constraint satisfaction problems
- constraint reasoning
- constraint programming
- interval arithmetic
- constraint solving
- real numbers
- temporal constraints
- arc consistency
- finite domain
- first order logic
- search space
- optimal solution
- dynamic programming
- search algorithm
- linear programming
- exact algorithms
- systematic search
- russian doll search
- forward checking
- constraint solver
- combinatorial problems
- combinatorial optimization
- path consistency
- limited discrepancy search
- simulated annealing