Found an issue? Give us feedback

ZENODOarrow_drop_down

ZENODO

Software .

Data sources: ZENODO

Select content type to embed

All Research products

arrow_drop_down

<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

ciaranm/cp2024-dynamic-programming-supplement: CP2024

Name: ciaranm/cp2024-dynamic-programming-supplement: CP2024
Creator: Ciaran McCreesh

integration_instructionsResearch softwarekeyboard_double_arrow_right Software Under curationPublisher:Zenodo

Authors: Ciaran McCreesh;

doi: 10.5281/zenodo.12574620

ciaranm/cp2024-dynamic-programming-supplement: CP2024

- Summary

Abstract

Supplemental material for "Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms", Emir Demirović, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, and Konstantin Sidorov, CP2024.

Found an issue? Give us feedback