%0 Journal Article %1 journals/ai/AmendolaRT20 %A Amendola, Giovanni %A Ricca, Francesco %A Truszczynski, Miroslaw %D 2020 %J Artif. Intell. %K dblp %T New models for generating hard random boolean formulas and disjunctive logic programs. %U http://dblp.uni-trier.de/db/journals/ai/ai279.html#AmendolaRT20 %V 279

@article{journals/ai/AmendolaRT20, added-at = {2020-01-15T00:00:00.000+0100}, author = {Amendola, Giovanni and Ricca, Francesco and Truszczynski, Miroslaw}, biburl = {https://www.bibsonomy.org/bibtex/29fbe8b58f7970c09a835957082db4434/dblp}, ee = {https://doi.org/10.1016/j.artint.2019.103185}, interhash = {291a742a80393bf697a88bd83c6a9590}, intrahash = {9fbe8b58f7970c09a835957082db4434}, journal = {Artif. Intell.}, keywords = {dblp}, timestamp = {2020-01-16T11:40:04.000+0100}, title = {New models for generating hard random boolean formulas and disjunctive logic programs.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai279.html#AmendolaRT20}, volume = 279, year = 2020 }