A Multi-Theory Constraint Satisfaction System.
Steven J. ZeilPublished in: ACM Conference on Computer Science (1993)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- phase transition
- heuristic search
- constraint programming
- soft constraints
- constraint propagation
- combinatorial problems
- constraint relaxation
- arc consistency
- probabilistic reasoning
- sat solvers
- relaxation labeling
- constraint solving
- constraint networks
- robust fault detection
- special case
- neural network
- russian doll search
- constraint optimization
- orders of magnitude
- np hard
- search space