| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 13 Aug 2025 08:02:33 GMT
access-control-allow-origin: *
etag: W/"689c4699-1d2b"
expires: Wed, 31 Dec 2025 04:58:50 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: A644:2D64E0:AB1DA8:C0A1CF:6954AB32
accept-ranges: bytes
age: 0
date: Wed, 31 Dec 2025 04:48:50 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210077-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767156530.152144,VS0,VE212
vary: Accept-Encoding
x-fastly-request-id: 8e236493e55d004c1b59ec2d86ad97a8a1df462f
content-length: 2022
GECODE publications
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
