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