TY  - RPRT
TI  - Improved Separations of Regular Resolution from Clause Learning Proof Systems
AU  - Maria Luisa Bonet
AU  - Sam Buss
AU  - Jan Johannsen
PY  - 2012
UR  - https://arxiv.org/abs/1208.2469
ID  - 1208.2469
ER  -