TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models

Akgün, Özgür, Gent, Ian Philip, Jefferson, Christopher et al. (5 more authors) (2025) TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models. Journal of Artificial Intelligence Research (JAIR). pp. 1999-2056. ISSN 1076-9757

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

©2025 The Authors. Published by AI Access Foundation.

Dates:
  • Accepted: 19 February 2025
  • Published: 30 March 2025
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/W001977/1
Depositing User: Pure (York)
Date Deposited: 07 Apr 2025 10:40
Last Modified: 07 Apr 2025 10:40
Published Version: https://doi.org/10.1613/jair.1.17032
Status: Published
Refereed: Yes
Identification Number: 10.1613/jair.1.17032
Open Archives Initiative ID (OAI ID):

Download

Filename: 17032rev.pdf

Description: 17032rev

Licence: CC-BY 2.5

Export

Statistics