TY  - RPRT
TI  - BoolVar/PB v1.0, a java library for translating pseudo-Boolean constraints into CNF formulae
AU  - Olivier Bailleux
PY  - 2011
UR  - https://arxiv.org/abs/1103.3954
ID  - 1103.3954
ER  -