ciaranm/certified-constraint-solver: AAAI2020

Mccreesh, C. (2019) ciaranm/certified-constraint-solver: AAAI2020. [Data Collection]

Datacite DOI: 10.5281/zenodo.3549711

Collection description

This version of the code is associated with the AAAI 2020 paper "Justifying All Differences Using Pseudo-Boolean Reasoning".

Funding:
College / School: College of Science and Engineering > School of Computing Science
Date Deposited: 26 Nov 2019 10:48
URI: https://researchdata.gla.ac.uk/id/eprint/916

Available Files

There are no files for this dataset available to download.

Repository Staff Only: Update this record

Mccreesh, C. (2019); ciaranm/certified-constraint-solver: AAAI2020

Zenodo

DOI: 10.5281/zenodo.3549711

Retrieved: 2024-03-28