Generalized support and formal development of constraint propagators

Caldwell, James Lynn, Gent, Ian Philip and Nightingale, Peter William orcid.org/0000-0002-5052-8634 (2017) Generalized support and formal development of constraint propagators. AI Communications. pp. 325-346. ISSN 0921-7126

Abstract

Metadata

Authors/Creators:
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
Dates:
  • 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: https://doi.org/10.3233/AIC-170740
Status: Published
Refereed: Yes
Identification Number: https://doi.org/10.3233/AIC-170740

Download

Filename: gensupport_aicomms_final.pdf

Description: gensupport-aicomms-final

Share / Export

Statistics