Unsatisfiable Cores for Constraint Programming

Data and models for the problems in the paper Unsatisfiable Cores and Lower Bounding for Constraint Programming at http://arxiv.org/abs/1508.06096 are in the following archive.

Data and models for the problems in the CoRR version of the paper Unsatisfiable Cores for Constraint Programming at http://arxiv.org/abs/1305.1690 are in the following archive.

Data and models for the problems in the journal and thesis versions of the paper Unsatisfiable Cores for Constraint Programming are here (3.1 Mb), with generated WCNF (MaxSAT) models here (338 Mb), generated WCSP (toulbar2) models here (16 Mb), and generated SMT2 (Z3-MaxSMT) models here (25 Mb).

The reference MaxSAT solver WCNF-glucose that we created (as a baseline to compare LCG-glucose against), containing our versions of the MSU1/WPM1, MaxRes, OLL, and MSU3/4 MaxSAT solving algorithms, is in this archive, which contains a Git repository.