Mccreesh, C. (2019) ciaranm/certified-constraint-solver: AAAI2020. [Data Collection]
Datacite DOI: 10.5281/zenodo.3549711
Related Enlighten Publications
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