Measuring the Hardness of SAT Instances

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà

AAAI 2008 pp. 222-228

/aaai/2008/ansotegui2008aaai-measuring/

Cite

Text

Ansótegui et al. "Measuring the Hardness of SAT Instances." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Ansótegui et al. "Measuring the Hardness of SAT Instances." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/ansotegui2008aaai-measuring/)

BibTeX

@inproceedings{ansotegui2008aaai-measuring,
  title     = {{Measuring the Hardness of SAT Instances}},
  author    = {Ansótegui, Carlos and Bonet, Maria Luisa and Levy, Jordi and Manyà, Felip},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {222-228},
  url       = {https://mlanthology.org/aaai/2008/ansotegui2008aaai-measuring/}
}