Extending SMT solvers with support for finite domain alldifferent constraint.

Published in: Constraints An Int. J. (2016)

Keyphrases

finite domain
global constraints
constraint programming
constraint satisfaction problems
constraint solver
arc consistency
constraint propagation
constraint logic programming
constraint solving
state variables
satisfiability problem
temporal reasoning
constraint networks
binary constraints