Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software
Data sources: ZENODO
Zenodo
Claim

ciaranm/glasgow-constraint-solver: CP2026

integration_instructionsResearch softwarekeyboard_double_arrow_right Software Under curationPublisher:Zenodo
Authors: Ciaran McCreesh; Matthew J McIlree; Mark Turnbull; Gaspard Dannet; Thomas Sergeys;

doi: 10.5281/zenodo.20089244

ciaranm/glasgow-constraint-solver: CP2026

Abstract

Release associated with the publication "Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB", Ciaran McCreesh, Jakob Nordström, Andy Oertel and Yong Kiam Tan, the 32nd International Conference on Principles and Practice of Constraint Programming (CP2026).

Powered by OpenAIRE graph
Found an issue? Give us feedback