Hard QBF Encodings Made Easy: Dream or Reality?

Luca Pulina Armando Tacchella

Published in: AI*IA (2009)

Keyphrases

boolean satisfiability
quantified boolean formulas
quantified boolean formulae
special case
orders of magnitude
database
neural network
website
data structure
propositional logic