Using Constraint Propagation and Domain Reduction for the Generation Phase in Declarative Modeling.

Olivier Le Roux, Vronique Gaildrat, Ren Caubet

Browse the full IV paper archive.