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

Florian Lonsing Uwe Egly

Published in: CoRR (2018)

Keyphrases

genetic algorithm
evolutionary algorithm
quantified boolean formulas
data sets
neural network
data mining
artificial intelligence
information systems
knowledge base
user friendly
boolean formula