Effective Encodings of Constraint Programming Models to SMT

Davidson, Ewan, Akgün, Özgür, Espasa, Joan et al. (1 more author) (2020) Effective Encodings of Constraint Programming Models to SMT. In: Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming. Lecture Notes in Computer Science . Springer , pp. 143-159.

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
Dates:
  • Published: 7 September 2020
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 11 Sep 2020 09:50
Last Modified: 01 Sep 2021 15:21
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: No

Download

Filename: CP2020_SR_SMT_final.pdf

Description: CP2020-SR-SMT-final

Share / Export