ML Anthology

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs

Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
IJCAI 2017 pp. 532-538
doi:10.24963/IJCAI.2017/75 /ijcai/2017/amendola2017ijcai-generating/
PDF IJCAI Semantic Scholar

Cite

Text

Amendola et al. "Generating Hard Random Boolean Formulas and Disjunctive Logic Programs." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/75

Markdown

[Amendola et al. "Generating Hard Random Boolean Formulas and Disjunctive Logic Programs." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/amendola2017ijcai-generating/) doi:10.24963/IJCAI.2017/75

BibTeX

@inproceedings{amendola2017ijcai-generating,
  title     = {{Generating Hard Random Boolean Formulas and Disjunctive Logic Programs}},
  author    = {Amendola, Giovanni and Ricca, Francesco and Truszczynski, Miroslaw},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {532-538},
  doi       = {10.24963/IJCAI.2017/75},
  url       = {https://mlanthology.org/ijcai/2017/amendola2017ijcai-generating/}
}