Description

The constraint models, software and results related to the journal paper "TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models"
Date made available28 Jan 2025
PublisherUniversity of York

Cite this