QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties.

Florian Lonsing Uwe Egly

Published in: CoRR (2019)

Keyphrases

preprocessing
high level
real time
high quality
desirable properties