ML Anthology

Generating Hard SAT/CSP Instances Using Expander Graphs

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu
AAAI 2008 pp. 1442-1443
/aaai/2008/ansotegui2008aaai-generating/
PDF AAAI Semantic Scholar

Cite

Text

Ansótegui et al. "Generating Hard SAT/CSP Instances Using Expander Graphs." AAAI Conference on Artificial Intelligence, 2008.

Markdown

[Ansótegui et al. "Generating Hard SAT/CSP Instances Using Expander Graphs." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/ansotegui2008aaai-generating/)

BibTeX

@inproceedings{ansotegui2008aaai-generating,
  title     = {{Generating Hard SAT/CSP Instances Using Expander Graphs}},
  author    = {Ansótegui, Carlos and Béjar, Ramón and Fernández, Cèsar and Mateu, Carles},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2008},
  pages     = {1442-1443},
  url       = {https://mlanthology.org/aaai/2008/ansotegui2008aaai-generating/}
}