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".

College / School: College of Science and Engineering > School of Computing Science
Date Deposited: 26 Nov 2019 10:48

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


DOI: 10.5281/zenodo.3549711

Retrieved: 2024-05-24