Automatically improving constraint models in Savile Row

Nightingale, Peter, 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



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
  • Accepted: 5 July 2017
  • Published (online): 13 July 2017
  • 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: 02 Dec 2022 05:54
Published Version:
Status: Published
Refereed: Yes
Identification Number:
Related URLs:


Filename: savilerowjournal_aij.pdf

Description: savilerowjournal-aij

Licence: CC-BY-NC-ND 2.5

Share / Export