ciaranm/certified-constraint-solver: AAAI2020

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

Datacite DOI: 10.5281/zenodo.3549711
Enlighten Publications URI:

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)

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


DOI: 10.5281/zenodo.3549711

Retrieved: 2020-10-25