Samuel Cloutier, Claude-Guy Quimper. KAOC-chuffed (Software, Source Code, Instances, and Results). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
https://doi.org/10.4230/artifacts.26894
BibTex
@misc{dagstuhl-artifact-26894,
title = {{KAOC-chuffed}},
author = {Cloutier, Samuel and Quimper, Claude-Guy},
note = {Software (visited on 2026-07-13)},
url = {https://github.com/Samclou/chuffed/releases/tag/KAOC-cp2026},
doi = {10.4230/artifacts.26894},
}
Description
KAOC implementation in the Chuffed CP solver
Related Article
Samuel Cloutier and Claude-Guy Quimper. Augmenting the Cumulative Overload Check with Integral Resource Usage Reasoning. In 32nd International Conference on Principles and Practice of Constraint Programming (CP 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 379, pp. 13:1-13:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)
https://doi.org/10.4230/LIPIcs.CP.2026.13
