Exploiting short supports for improved encoding of arbitrary constraints into SAT

Akgün, Özgür, Gent, Ian Philip, Jefferson, Christopher Anthony et al. (2 more authors) (2016) Exploiting short supports for improved encoding of arbitrary constraints into SAT. In: Rueher, Michael, (ed.) Principles and Practice of Constraint Programming:22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Lecture Notes in Computer Science . Springer , Netherlands , pp. 3-12.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Rueher, Michael
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: 5 September 2016
  • Published (online): 23 August 2016
  • Accepted: 6 June 2016
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 23 Jan 2019 09:30
Last Modified: 16 Oct 2024 11:00
Published Version: https://doi.org/10.1007/978-3-319-44953-1_1
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-319-44953-1_1
Open Archives Initiative ID (OAI ID):

Download

Filename: CP2016_ShortSAT.pdf

Description: CP2016-ShortSAT

Export

Statistics