Learning to select SAT encodings for pseudo-Boolean and linear integer constraints

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{fb6a8c4695904076a590d1368c47c03a,

title = "Learning to select SAT encodings for pseudo-Boolean and linear integer constraints",

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

note = "{\textcopyright} The Author(s) 2023.",

year = "2023",

month = nov,

day = "2",

doi = "10.1007/s10601-023-09364-1",

language = "English",

journal = "Journal of Constraints",

issn = "1383-7133",

publisher = "Springer",

}

TY - JOUR

T1 - Learning to select SAT encodings for pseudo-Boolean and linear integer constraints

AU - Ulrich-Oltean, Felix

AU - Nightingale, Peter

AU - Walker, James Alfred

PY - 2023/11/2

Y1 - 2023/11/2

U2 - 10.1007/s10601-023-09364-1

DO - 10.1007/s10601-023-09364-1

M3 - Article

SN - 1383-7133

JO - Journal of Constraints

JF - Journal of Constraints

ER -