TY  - RPRT
TI  - Towards a theory of good SAT representations
AU  - Matthew Gwynne
AU  - Oliver Kullmann
PY  - 2013
UR  - https://arxiv.org/abs/1302.4421
ID  - 1302.4421
ER  -