Generalized support and formal development of constraint propagators

Caldwell, James Lynn, Gent, Ian Philip and Nightingale, Peter William (2017) Generalized support and formal development of constraint propagators. AI Communications. pp. 325-346. ISSN 1875-8452



Copyright, Publisher and Additional Information: 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. The work of the authors has been partially supported by the following UK EPSRC grants: EP/E030394/1, EP/F031114/1, EP/H004092/1, and EP/M003728/1.
Keywords: Constraint satisfaction problem, Constraint programming, Formal methods
  • Accepted: 22 June 2017
  • Published: 31 August 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: 24 Jan 2019 10:40
Last Modified: 06 Dec 2023 12:40
Published Version:
Status: Published
Refereed: Yes
Identification Number:


Filename: gensupport_aicomms_final.pdf

Description: gensupport-aicomms-final