Constraint Satisfaction and Constraint Programming: A Brief Lead-In.

Brian H. Mayoh Enn Tyugu Tarmo Uustalu

Published in: NATO ASI CP (1993)

Keyphrases

constraint satisfaction
constraint programming
constraint satisfaction problems
combinatorial problems
constraint propagation
heuristic search
phase transition
global constraints

search strategies
constraint logic programming
russian doll search
arc consistency
search heuristics
constraint networks
machine learning and data mining
constraint relaxation

symmetry breaking
finite domain
constraint optimization
constraint solving
backtrack search
probabilistic reasoning
sat solvers
robust fault detection

hard and soft constraints
orders of magnitude
machine learning
constraint problems
propositional satisfiability
hard constraints
soft constraints
non binary