New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs

Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski

We propose two models of random quantified boolean formulas and their natural random disjunctive logic program counterparts. The models extend the standard models of random k-CNF f…