@article{clauselearningalgorithmswithmanyrestarts,
  title = {Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution},
  author = {Albert Atserias and Johannes Klaus Fichte and Marc Thurley},
  year = {2014},
  eprint = {1401.3868},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1401.3868v1},
}