Sign in
QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties.
Florian Lonsing
Uwe Egly
Published in:
SAT (2019)
Keyphrases
</>
preprocessing
data mining
desirable properties
databases
computational complexity
preprocessing step