TY  - RPRT
TI  - Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
AU  - Albert Atserias
AU  - Johannes Klaus Fichte
AU  - Marc Thurley
PY  - 2014
DO  - 10.1613/jair.3152
UR  - https://arxiv.org/abs/1401.3868
ID  - 1401.3868
ER  -