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