Sign in

HQSpre - An Effective Preprocessor for QBF and DQBF.

Ralf WimmerSven ReimerPaolo MarinBernd Becker
Published in: TACAS (1) (2017)
Keyphrases
  • computationally efficient
  • knowledge base
  • cost effective
  • real time
  • neural network
  • video sequences
  • expert systems
  • orders of magnitude