ciaranm/certified-constraint-solver: AAAI2020

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

Datacite DOI: 10.5281/zenodo.3549711
Enlighten Publications URI: http://eprints.gla.ac.uk/id/eprint/204158

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
Funder's Name: Engineering and Physical Sciences Research Council (EPSRC)
URI: http://researchdata.gla.ac.uk/id/eprint/916

Available Files

There are no files in this dataset stored in the repository.

Please follow the links below to access data held elsewhere.

Repository Staff Only: Update this record

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

Zenodo

DOI: 10.5281/zenodo.3549711

Retrieved: 2020-10-25