TY  - RPRT
TI  - A Family of Encodings for Translating Pseudo-Boolean Constraints into SAT
AU  - Amir Aavani
PY  - 2013
UR  - https://arxiv.org/abs/1104.1479
ID  - 1104.1479
ER  -