Sign in
New models for generating hard random boolean formulas and disjunctive logic programs.
Giovanni Amendola
Francesco Ricca
Miroslaw Truszczynski
Published in:
Artif. Intell. (2020)
Keyphrases
</>
practical problems
heuristic search