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 0921-7126



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
  • 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: 21 Jan 2021 17:13
Published Version:
Status: Published
Refereed: Yes
Identification Number:


Filename: gensupport_aicomms_final.pdf

Description: gensupport-aicomms-final

Share / Export