Segmented Tables: An Efficient Modeling Tool for Constraint Reasoning.

Gilles Audemard Christophe Lecoutre Mehdi Maamar

Published in: ECAI (2020)

Keyphrases

modeling tool
constraint reasoning
constraint propagation
temporal constraints
temporal reasoning
database
databases
arc consistency
constraint satisfaction
artificial intelligence
computational complexity
special case
process model
simulation platform