A Control Language for Designing Constraint Solvers.

Carlos Castro Éric Monfroy

Published in: Ershov Memorial Conference (1999)

Keyphrases

programming language
control system
constraint solvers
natural language
constraint programming
constraint satisfaction problems
constraint logic programming
search space
search strategies
branch and bound algorithm
phase transition
combinatorial problems
constraint solving