ML Anthology

Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively

Haixia Jia, Cristopher Moore, Doug Strain
AAAI 2005 pp. 384-389
/aaai/2005/jia2005aaai-generating/
PDF AAAI Semantic Scholar

Cite

Text

Jia et al. "Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively." AAAI Conference on Artificial Intelligence, 2005.

Markdown

[Jia et al. "Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/jia2005aaai-generating/)

BibTeX

@inproceedings{jia2005aaai-generating,
  title     = {{Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively}},
  author    = {Jia, Haixia and Moore, Cristopher and Strain, Doug},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {384-389},
  url       = {https://mlanthology.org/aaai/2005/jia2005aaai-generating/}
}