ML Anthology

Generating Satisfiable Problem Instances

Dimitris Achlioptas, Carla P. Gomes, Henry A. Kautz, Bart Selman
AAAI 2000 pp. 256-261
/aaai/2000/achlioptas2000aaai-generating/
PDF AAAI Semantic Scholar

Cite

Text

Achlioptas et al. "Generating Satisfiable Problem Instances." AAAI Conference on Artificial Intelligence, 2000.

Markdown

[Achlioptas et al. "Generating Satisfiable Problem Instances." AAAI Conference on Artificial Intelligence, 2000.](https://mlanthology.org/aaai/2000/achlioptas2000aaai-generating/)

BibTeX

@inproceedings{achlioptas2000aaai-generating,
  title     = {{Generating Satisfiable Problem Instances}},
  author    = {Achlioptas, Dimitris and Gomes, Carla P. and Kautz, Henry A. and Selman, Bart},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2000},
  pages     = {256-261},
  url       = {https://mlanthology.org/aaai/2000/achlioptas2000aaai-generating/}
}