CONSAT: A Parallel Constraint Satisfaction System.
Kinson HoHans W. GuesgenPaul N. HilfingerPublished in: LISP Symb. Comput. (1994)
Keyphrases
- constraint satisfaction
- constraint satisfaction problems
- constraint propagation
- heuristic search
- constraint programming
- phase transition
- probabilistic reasoning
- constraint relaxation
- arc consistency
- constraint solving
- combinatorial problems
- relaxation labeling
- constrained problems
- constraint networks
- constraint problems
- max csp
- russian doll search
- soft constraints
- sat solvers
- special case
- evolutionary algorithm
- fault diagnosis
- simulated annealing
- forward checking
- optimal solution
- reinforcement learning