TY  - RPRT
TI  - An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning
AU  - Maria Luisa Bonet
AU  - Sam Buss
PY  - 2012
UR  - https://arxiv.org/abs/1202.2296
ID  - 1202.2296
ER  -