Experimental Data for TabID Journal Paper

Özgür Akgün (Creator)
Ian Gent (Creator)
Christopher Jefferson (School of Computer Science, University of St Andrews) (Creator)
Zeynep Kiziltan (Creator)
Ian James Miguel (Creator)
Peter Nightingale (Creator)
András Z. Salamon (Creator)
Felix Ulrich-Oltean (Creator)

Computer Science

Dataset

Description

The constraint models, software and results related to the journal paper "TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models"

Date made available	28 Jan 2025
Publisher	University of York

Contact

[email protected]

DOI
10.15124/c24d61e6-ee25-40ed-828d-b941158f862f

Access Dataset

tabid-experiments.zip
File: application/zip, 50.1 MB
Type: Dataset
Licence: CC BY

1 Article

TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
Akgün, Ö., Gent, I. P., Jefferson, C., Kiziltan, Z., Miguel, I., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 30 Mar 2025, In: Journal of Artificial Intelligence Research (JAIR). 82, p. 1999-2056 58 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

1 Active

Solver Feedback Loops for Automated Constraint Modelling
Nightingale, P. (Principal investigator)
EPSRC
1/04/22 → 21/09/25
Project: Research project (funded) › Research

Cite this