Automatically improving constraint models in Savile Row

Nightingale, Peter orcid.org/0000-0002-5052-8634, Akgün, Özgür, Gent, Ian P. et al. (3 more authors) (2017) Automatically improving constraint models in Savile Row. Artificial Intelligence. pp. 35-61. ISSN 0004-3702

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2017 Elsevier B.V. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Authors thank the EPSRC for funding this work through grants EP/H004092/1, EP/K015745/1, EP/M003728/1, and EP/P015638/1. In addition, Dr Jefferson is funded by a Royal Society University Research Fellowship.
Keywords: Common subexpression elimination, Constraint satisfaction, Modelling, Propositional satisfiability, Reformulation
Dates:
  • Published: October 2017
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 23 Jan 2019 16:20
Last Modified: 07 Nov 2021 11:35
Published Version: https://doi.org/10.1016/j.artint.2017.07.001
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.artint.2017.07.001
Related URLs:

Download

Filename: savilerowjournal_aij.pdf

Description: savilerowjournal-aij

Licence: CC-BY-NC-ND 2.5

Share / Export

Statistics