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

Item Type: Proceedings Paper
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
  • Accepted: 9 July 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: 16 Oct 2024 11:09
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Open Archives Initiative ID (OAI ID):

Download

Filename: CP2020_SR_SMT_final.pdf

Description: CP2020-SR-SMT-final

Export

Statistics