ML Anthology

Predicting Learnt Clauses Quality in Modern SAT Solvers

Gilles Audemard, Laurent Simon
IJCAI 2009 pp. 399-404
/ijcai/2009/audemard2009ijcai-predicting/
PDF IJCAI Semantic Scholar

Cite

Text

Audemard and Simon. "Predicting Learnt Clauses Quality in Modern SAT Solvers." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Audemard and Simon. "Predicting Learnt Clauses Quality in Modern SAT Solvers." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/audemard2009ijcai-predicting/)

BibTeX

@inproceedings{audemard2009ijcai-predicting,
  title     = {{Predicting Learnt Clauses Quality in Modern SAT Solvers}},
  author    = {Audemard, Gilles and Simon, Laurent},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {399-404},
  url       = {https://mlanthology.org/ijcai/2009/audemard2009ijcai-predicting/}
}