Login / Signup

QRATPre+: Effective QBF Preprocessing via Strong Redundancy Properties.

Florian LonsingUwe Egly
Published in: SAT (2019)
Keyphrases
  • preprocessing
  • data mining
  • desirable properties
  • databases
  • computational complexity
  • preprocessing step