Gent, Ian P., Hussain, Bilal Syed, Jefferson, Christopher et al. (4 more authors) (2014) Discriminating instance generation for automated constraint model selection. In: Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer , pp. 356-365.
Abstract
One approach to automated constraint modelling is to generate, and then select from, a set of candidate models. This method is used by the automated modelling system Conjure. To select a preferred model or set of models for a problem class from the candidates Conjure produces, we use a set of training instances drawn from the target class. It is important that the training instances are discriminating. If all models solve a given instance in a trivial amount of time, or if no models solve it in the time available, then the instance is not useful for model selection. This paper addresses the task of generating small sets of discriminating training instances automatically. The instance space is determined by the parameters of the associated problem class. We develop a number of methods of finding parameter configurations that give discriminating training instances, some of them leveraging existing parameter-tuning techniques. Our experimental results confirm the success of our approach in reducing a large set of input models to a small set that we can expect to perform well for the given problem class.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © Springer International Publishing Switzerland 2014. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details. |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 27 Mar 2019 12:20 |
Last Modified: | 04 Jan 2025 00:27 |
Published Version: | https://doi.org/10.1007/978-3-319-10428-7_27 |
Status: | Published |
Publisher: | Springer |
Identification Number: | 10.1007/978-3-319-10428-7_27 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:144179 |
Download
Filename: CP2014_instance_generation.pdf
Description: CP2014-instance-generation