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