QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property.

Florian Lonsing Uwe Egly

Published in: IJCAR (2018)

Keyphrases

databases
quantified boolean formulas
information content
redundancy reduction
learning algorithm
feature selection
data structure
desirable properties
propositional logic
redundant data