New models for generating hard random boolean formulas and disjunctive logic programs