ML Anthology

Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width

Eli Ben-Sasson, Jan Johannsen
IJCAI 2011 pp. 2570-2575
doi:10.5591/978-1-57735-516-8/IJCAI11-428 /ijcai/2011/bensasson2011ijcai-lower/
IJCAI Semantic Scholar

Cite

Text

Ben-Sasson and Johannsen. "Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-428

Markdown

[Ben-Sasson and Johannsen. "Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/bensasson2011ijcai-lower/) doi:10.5591/978-1-57735-516-8/IJCAI11-428

BibTeX

@inproceedings{bensasson2011ijcai-lower,
  title     = {{Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width}},
  author    = {Ben-Sasson, Eli and Johannsen, Jan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {2570-2575},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-428},
  url       = {https://mlanthology.org/ijcai/2011/bensasson2011ijcai-lower/}
}