Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.

Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski

Browse the full IJCAI paper archive.