Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis.

Bernardo Cuteri Carmine Dodaro Francesco Ricca Peter Schüller

Published in: CoRR (2017)

Keyphrases

global constraints
constraint programming
constraint satisfaction
constrained optimization
solving constraint satisfaction problems
end users
linear programming problems
constrained problems
reducing the search space
constraint propagation
mixed integer
special purpose
integer program
mixed integer program