TY  - RPRT
TI  - On Irrelevant Literals in Pseudo-Boolean Constraint Learning
AU  - Danel Le Berre
AU  - Pierre Marquis
AU  - Stefan Mengel
AU  - Romain Wallon
PY  - 2020
DO  - 10.24963/ijcai.2020/160
UR  - https://arxiv.org/abs/2012.04424
ID  - 2012.04424
ER  -