Sign in

Evaluating QBF Solvers: Quantifier Alternations Matter.

Florian LonsingUwe Egly
Published in: CP (2018)
Keyphrases
  • databases
  • similarity measure
  • video sequences
  • evaluation function
  • database
  • real time
  • knowledge base
  • artificial neural networks
  • viewpoint
  • probability distribution