TY  - RPRT
TI  - A lower bound on CNF encodings of the at-most-one constraint
AU  - Petr Kučera
AU  - Petr Savický
AU  - Vojtěch Vorel
PY  - 2018
UR  - https://arxiv.org/abs/1704.08934
ID  - 1704.08934
ER  -