Mikael Z. Lagerkvist

Learn More
This paper introduces propagator groups as an abstraction for controlling the execution of propagators as implementations of constraints. Propagator groups enable users of a constraint programming system to program how propagators within a group are executed. The paper exemplifies propagator groups for controlling both propagation order and propagator(More)
Preface Aim Constraint programming systems are software systems that support the modeling and solving of problems using constraint programming. Such systems include constraint programming libraries and runtime systems for constraint programming languages. After two very successful workshops in 2000 (Singapore) and 2002 (Ithaca), this third iteration will(More)
  • 1