Fast Cube Tests for LIA Constraint Solving.

Martin Bromberger Christoph Weidenbach

Published in: IJCAR (2016)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
multi dimensional
data cube
constraint solvers
finite domain
np complete