Constraint Lingo: towards high-level constraint programming.

Raphael A. Finkel Victor W. Marek Miroslaw Truszczynski

Published in: Softw. Pract. Exp. (2004)

Keyphrases

constraint programming
high level
global constraints
finite domain
constraint solver
hard and soft constraints
constraint solving

constraint solvers
combinatorial problems
constraint problems
constraint networks
constraint satisfaction problems
constraint satisfaction
constraint propagation

constraint logic programming
integer programming
search strategies
np hard problems
arc consistency
column generation
linear constraints

soft constraints
symmetry breaking
search heuristics
programming language
itemset mining
backtrack search
propositional satisfiability