ML Anthology

Towards Industrial-like Random SAT Instances

Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy
IJCAI 2009 pp. 387-392
/ijcai/2009/ansotegui2009ijcai-industrial/
PDF IJCAI Semantic Scholar

Cite

Text

Ansótegui et al. "Towards Industrial-like Random SAT Instances." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Ansótegui et al. "Towards Industrial-like Random SAT Instances." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/ansotegui2009ijcai-industrial/)

BibTeX

@inproceedings{ansotegui2009ijcai-industrial,
  title     = {{Towards Industrial-like Random SAT Instances}},
  author    = {Ansótegui, Carlos and Bonet, Maria Luisa and Levy, Jordi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {387-392},
  url       = {https://mlanthology.org/ijcai/2009/ansotegui2009ijcai-industrial/}
}