TY  - RPRT
TI  - Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
AU  - Felix Ulrich-Oltean
AU  - Peter Nightingale
AU  - James Alfred Walker
PY  - 2023
DO  - 10.1007/s10601-023-09364-1
UR  - https://arxiv.org/abs/2307.09342
ID  - 2307.09342
ER  -