Gecode: Selected Publications

The following publications describe several technical aspects of Gecode in more detail.

• Making Compact-Table Compact, Linnea Ingmar, Christian Schulte .

  Twentyforth International Conference on Principles and Practice of Constraint Programming, 2018.

  Relation: How compact-table is implemented in Gecode

• View-based Propagator Derivation, Christian Schulte, Guido Tack .

  Constraints, 2013.

  Relation: Design and evaluation of generic propagators as used in Gecode

• Implementing Efficient Propagation Control, Christian Schulte, Guido Tack .

  TRICS 2010, Third workshop on techniques for implementing constraint programming systems, 2010.

  Relation: Explains propagator scheduling in the Gecode kernel

• 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: Includes an evaluation of how well hybrid recomputation in Gecode works compared to trailing

• Weakly Monotonic Propagators, Christian Schulte, Guido Tack .

  Fifteenth International Conference on Principles and Practice of Constraint Programming, 2009.

  Relation: Model and example for weakly monotonic propagators as used in Gecode

• Techniques for Efficient Constraint Propagation, Mikael Z. Lagerkvist .

  Licentiate dissertation, Royal Institute of Technology, 2008.

  Relation: Development of advisors, placement problems using regular.

• Constraint Propagation - Models, Techniques, Implementation, Guido Tack .

  Doctoral dissertation, Saarland University, Germany, 2009.

  Relation: 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: Design and optimizations of Gecode's propagation engine

• Advisors for Incremental Propagation, Mikael Z. Lagerkvist, Christian Schulte .

  Thirteenth International Conference on Principles and Practice of Constraint Programming, 2007.

  Relation: Design, implementation, and evaluation of advisors for incremental propagation

• Views and Iterators for Generic Constraint Implementations, Christian Schulte, Guido Tack .

  Recent Advances in Constraints (2005), 2006.

  Relation: Design and evaluation of generic propagators

• Programming Constraint Services, Christian Schulte .

  Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002.

  Relation: Search architecture also used in Gecode