Titlebook: Integration of AI and OR Techniques in Constraint Programming; 12th International C Laurent Michel Conference proceedings 2015 Springer Int

ambivalence

The Smart Table Constraint,constraints, but unfortunately the size of their tables can grow exponentially with their arities. In this paper, we propose to authorize entries in tables to contain simple arithmetic constraints, replacing classical tuples of values by so-called smart tuples. Smart table constraints can thus be vi

CEDE