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

Olivier Le Roux, Véronique Gaildrat, René Caubet. Using Constraint Propagation and Domain Reduction for the Generation Phase in Declarative Modeling. In IV. pages 117-123, 2001. [doi]

Abstract

Abstract is missing.