TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models (2025)
Attributed to:
Modelling and Optimisation with Graphs
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Journal Article/Review
Volume: 82
Parent Publication: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
ISSN: 1076-9757