A Generator of Hard 2QBF Formulas and ASP Programs.

Giovanni Amendola Francesco Ricca Mirek Truszczynski

Published in: KR (2018)

Keyphrases

answer set programming
answer sets
web applications
boolean formula
conjunctive normal form
answer set programs
quantified boolean formulas
search space
stable models
stable model semantics
neural network
logic programming
real numbers