Half-checking propagators.

Mikael Zayenz Lagerkvist Magnus Rattfeldt

Published in: CoRR (2020)

Keyphrases

constraint propagation
constraint programming
global constraints
special purpose
set bounds propagation
data sets
databases
lower bound
special case
general purpose
temporal information
consistency checking