Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

Ulrich-Oltean, Felix orcid.org/0000-0001-5162-5826, 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

Item Type: Proceedings Paper
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)
Date Deposited: 11 May 2022 12:50
Last Modified: 31 Oct 2025 00:06
Published Version: https://doi.org/10.4230/LIPIcs.CP.2022.38
Status: Published
Publisher: LIPICS
Series Name: Leibniz International Proceedings in Informatics (LIPIcs)
Identification Number: 10.4230/LIPIcs.CP.2022.38
Open Archives Initiative ID (OAI ID):

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 [thumbnail of Selecting_SAT_Encodings__for_CP2022_ (2)]

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)