Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

Ulrich-Oltean, Felix, Nightingale, Peter orcid.org/0000-0002-5052-8634 and Walker, James Alfred orcid.org/0000-0003-2174-7173 (2022) Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. In: 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs) . LIPICS .

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Dates:
  • Accepted: 29 April 2022
  • Published: 23 July 2022
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 May 2022 12:50
Last Modified: 12 Jan 2023 09:50
Published Version: https://doi.org/10.4230/LIPIcs.CP.2022.38
Status: Published
Publisher: LIPICS
Series Name: Leibniz International Proceedings in Informatics (LIPIcs)
Refereed: No
Identification Number: https://doi.org/10.4230/LIPIcs.CP.2022.38

Download

Published Version

Filename: Selecting_SAT_Encodings_for_CP2022_2_.pdf

Description: Selecting_SAT_Encodings__for_CP2022_ (2)

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [img]

Share / Export

Statistics


CORE (COnnecting REpositories)