Suite Amendola-Ricca-Truszczynski

Download(0 Kb)
Submitter: Francesco Ricca
Description: The formulas are generated according to the model that will be presented in Amendola, Giovanni, Francesco Ricca, and Miroslaw Truszczynski. "Generating hard random boolean formulas and disjunctive logic programs." In Proceedings of the 26th International Joint Conference on Artificial Intelligence, pp. 532-538. AAAI Press, 2017.
Number of families: 3