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

Published in: Artif. Intell. (2020)

Keyphrases