@misc{indiciae5c8ad65290cc,
  title = {Towards Understanding and Harnessing the Potential of Clause Learning},
  author = {P. Beame and H. Kautz and A. Sabharwal},
  year = {2011},
  doi = {10.1613/jair.1410},
  url = {https://arxiv.org/abs/1107.0044},
  note = {Source identifier: 1107.0044}
}