TY - RPRT TI - Encoding Cardinality Constraints using Generalized Selection Networks AU - Michał Karpiński AU - Marek Piotrów PY - 2017 UR - https://arxiv.org/abs/1704.04389 ID - 1704.04389 ER -