Effective Encodings of Constraint Programming Models to SMT.

Ewan Davidson Özgür Akgün Joan Espasa Peter Nightingale

Published in: CP (2020)

Keyphrases

constraint programming
constraint satisfaction problems
combinatorial problems
constraint satisfaction
integer programming
constraint propagation
search strategies
column generation
constraint networks
search heuristics
arc consistency
data mining
orders of magnitude
global constraints