- Implementing Efficient Propagation Control, Christian Schulte, Guido Tack.
TRICS 2010, Third workshop on techniques for implementing constraint programming systems, 2010.
Relation to Gecode: Explains propagator scheduling in the Gecode kernel
- View-based Propagator Derivation, Christian Schulte, Guido Tack.
CoRR entry, 2009.
Relation to Gecode: Design and evaluation of generic propagators
- Weakly Monotonic Propagators, Christian Schulte, Guido Tack.
Fifteenth International Conference on Principles and Practice of Constraint Programming, 2009.
Relation to Gecode: Model and example for weakly monotonic propagators as used in Gecode
- Maintaining State in Propagation Solvers, Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack.
Fifteenth International Conference on Principles and Practice of Constraint Programming, 2009.
Relation to Gecode: Includes an evaluation of how well hybrid recomputation in Gecode works compared to trailing
- Constraint Propagation - Models, Techniques, Implementation, Guido Tack.
Doctoral dissertation, Saarland University, Germany, 2009.
Relation to Gecode: Models and techniques used in the Gecode kernel, views, and propagators for set constraints
- Efficient Constraint Propagation Engines, Christian Schulte, Peter J. Stuckey.
Transactions on Programming Languages and Systems, 2008.
Relation to Gecode: Design and optimizations of Gecode's propagation engine
- Techniques for Efficient Constraint Propagation, Mikael Z. Lagerkvist.
Licentiate dissertation, Royal Institute of Technology, 2008.
Relation to Gecode: Development of advisors, placement problems using regular.
- Perfect Derived Propagators, Christian Schulte, Guido Tack.
CoRR entry, 2008. An extended version of a short paper to appear at CP 2008.
Relation to Gecode: Model, properties and techniques for generic propagators
- Modeling Irregular Shape Placement Problems with Regular Constraints, Mikael Z. Lagerkvist, Gilles Pesant.
First Workshop on Bin Packing and Placement Constraints BPPC'08, 2008.
Relation to Gecode: Describes the model used for the Pentominoes example
- Advisors for Incremental Propagation, Mikael Z. Lagerkvist, Christian Schulte.
Thirteenth International Conference on Principles and Practice of Constraint Programming, 2007.
Relation to Gecode: Design, implementation, and evaluation of advisors for incremental propagation
- MiniZinc: Towards a Standard CP Modelling Language, Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack.
Thirteenth International Conference on Principles and Practice of Constraint Programming, 2007.
Relation to Gecode: Gecode is one of the supported backends
- Generating Propagators for Finite Set Constraints, Guido Tack, Christian Schulte, Gert Smolka.
Twelfth International Conference on Principles and Practice of Constraint Programming, 2006.
Relation to Gecode: How to correctly implement set propagators
- Views and Iterators for Generic Constraint Implementations, Christian Schulte, Guido Tack.
Recent Advances in Constraints (2005), 2006.
Relation to Gecode: Design and evaluation of generic propagators
- Programming Constraint Services, Christian Schulte.
Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002.
Relation to Gecode: Search architecture also used in Gecode
