Abstract Domains for Constraint Programming, with the Example of Octagons.

Charlotte Truchet Marie Pelleau Frédéric Benhamou

Published in: SYNASC (2010)

Keyphrases

constraint programming
combinatorial problems
constraint optimization
constraint satisfaction problems
constraint satisfaction
constraint propagation

integer programming
column generation
global constraints
search strategies
constraint logic programming
finite domain

np hard problems
symmetry breaking
constraint solver
itemset mining
hard and soft constraints
search heuristics

constraint solving
genetic algorithm
constraint problems
backtrack search
np hard