Understanding the Power of Clause Learning

Beame et al. "Understanding the Power of Clause Learning." International Joint Conference on Artificial Intelligence, 2003.

[Beame et al. "Understanding the Power of Clause Learning." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/beame2003ijcai-understanding/)

@inproceedings{beame2003ijcai-understanding,
  title     = {{Understanding the Power of Clause Learning}},
  author    = {Beame, Paul and Kautz, Henry A. and Sabharwal, Ashish},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {1194-1201},
  url       = {https://mlanthology.org/ijcai/2003/beame2003ijcai-understanding/}
}