TY  - RPRT
TI  - Expressing Linear Orders Requires Exponential-Size DNNFs
AU  - Ronald de Haan
PY  - 2019
UR  - https://arxiv.org/abs/1807.06397
ID  - 1807.06397
ER  -