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

Felix Ulrich-Oltean; Peter Nightingale; James Alfred Walker

doi:10.1007/s10601-023-09364-1

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

Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker

Computer Science

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

Original language	English
Pages (from-to)	397-426
Number of pages	30
Journal	Journal of Constraints
Volume	28
DOIs	https://doi.org/10.1007/s10601-023-09364-1
Publication status	Published - 2 Nov 2023

Bibliographical note

Access to Document

10.1007/s10601-023-09364-1Licence: CC BY

Learning to select SAT encodings for pseudo-Boolean and linear integer constraints
© The Author(s) 2023
Final published version, 1.88 MBLicence: CC BY

Solver Feedback Loops for Automated Constraint Modelling
Nightingale, P. (Principal investigator)
EPSRC
1/04/22 → 21/09/25
Project: Research project (funded) › Research

Cite this

@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",

volume = "28",

pages = "397--426",

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

VL - 28

SP - 397

EP - 426

JO - Journal of Constraints

JF - Journal of Constraints

ER -

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

Bibliographical note

Access to Document

Projects

Solver Feedback Loops for Automated Constraint Modelling

Cite this