TY  - RPRT
TI  - Covered Clause Elimination
AU  - Marijn Heule
AU  - Matti Järvisalo
AU  - Armin Biere
PY  - 2010
UR  - https://arxiv.org/abs/1011.5202
ID  - 1011.5202
ER  -