1 paper
Marco Alberti, Marco Gavanelli, Evelina Lamma +2
In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in systems interacting with an external env…