TY  - RPRT
TI  - Smaller Selection Networks for Cardinality Constraints Encoding
AU  - Michał Karpiński
AU  - Marek Piotrów
PY  - 2015
UR  - https://arxiv.org/abs/1502.04551
ID  - 1502.04551
ER  -