<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>https://www.gecode.dev/publications/2006-09-08-programming-constraint-services.html</loc>
<lastmod>2006-09-08T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2006-09-08-views-and-iterators-for-generic-constraint-implementations.html</loc>
<lastmod>2006-09-08T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2007-07-04-advisors-for-incremental-propagation.html</loc>
<lastmod>2007-07-04T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2009-02-23-efficient-constraint-propagation-engines.html</loc>
<lastmod>2009-02-23T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2009-02-24-constraint-propagation---models--techniques--implementation.html</loc>
<lastmod>2009-02-24T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2009-03-12-techniques-for-efficient-constraint-propagation.html</loc>
<lastmod>2009-03-12T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2009-06-17-weakly-monotonic-propagators.html</loc>
<lastmod>2009-06-17T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2009-10-07-maintaining-state-in-propagation-solvers.html</loc>
<lastmod>2009-10-07T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2010-08-04-implementing-efficient-propagation-control.html</loc>
<lastmod>2010-08-04T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2012-12-01-view-based-propagator-derivation.html</loc>
<lastmod>2012-12-01T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/publications/2018-08-30-making-compact-table-compact.html</loc>
<lastmod>2018-08-30T00:00:00+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/community.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/disclaimer.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/download.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/flatzinc.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/</loc>
</url>
<url>
<loc>https://www.gecode.dev/interfaces.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/license.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/logo.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/news.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/projects.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/publications.html</loc>
</url>
<url>
<loc>https://www.gecode.dev/images/gecode-logo.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/Ingmar_Schulte_CP_2018.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/LagerkvistSchulte_CP_2007.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/Lagerkvist_Lic_Diss_2008.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/ReischukSchulteEa_CP_2009.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/SchulteStuckey_TOPLAS_2008.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/SchulteTack_Advances_2006.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/SchulteTack_CP_2009.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/SchulteTack_Constraints_2013.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/SchulteTack_TRICS_2010.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
<url>
<loc>https://www.gecode.dev/papers/Tack_PhD_2009.pdf</loc>
<lastmod>2026-07-15T16:01:51+00:00</lastmod>
</url>
</urlset>
