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