Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	28th International Conference on Principles and Practice of Constraint Programming (CP 2022)
Publisher	LIPICS
Number of pages	17
ISBN (Print)	978-3-95977-240-2
DOIs	https://doi.org/10.4230/LIPIcs.CP.2022.38
Publication status	Published - 23 Jul 2022

Name	Leibniz International Proceedings in Informatics (LIPIcs)
Publisher	Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
Volume	235
ISSN (Print)	1868-8969

Access to Document

Selecting_SAT_Encodings__for_CP2022_ (2)
© Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker
Final published version, 782 KBLicence: CC BY

@inproceedings{744548819ed94bd6a37fcabaa03f81cb,

title = "Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints",

author = "Felix Ulrich-Oltean and Peter Nightingale and Walker, {James Alfred}",

note = "{\textcopyright} Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker",

year = "2022",

month = jul,

day = "23",

doi = "10.4230/LIPIcs.CP.2022.38",

language = "English",

isbn = "978-3-95977-240-2",

series = "Leibniz International Proceedings in Informatics (LIPIcs)",

publisher = "LIPICS",

booktitle = "28th International Conference on Principles and Practice of Constraint Programming (CP 2022)",

}

Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints. / Ulrich-Oltean, Felix ; Nightingale, Peter ; Walker, James Alfred.
28th International Conference on Principles and Practice of Constraint Programming (CP 2022). LIPICS, 2022. (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 235).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

AU - Ulrich-Oltean, Felix

AU - Nightingale, Peter

AU - Walker, James Alfred

PY - 2022/7/23

Y1 - 2022/7/23

U2 - 10.4230/LIPIcs.CP.2022.38

DO - 10.4230/LIPIcs.CP.2022.38

M3 - Conference contribution

SN - 978-3-95977-240-2

T3 - Leibniz International Proceedings in Informatics (LIPIcs)

BT - 28th International Conference on Principles and Practice of Constraint Programming (CP 2022)

PB - LIPICS

ER -