Login / Signup

Designing a solver competition: the QBFEVAL'10 case study.

Claudia PeschieraLuca PulinaArmando Tacchella
Published in: EMSQMS@IJCAR (2010)
Keyphrases
  • case study
  • lessons learned
  • databases
  • real time
  • neural network
  • data mining
  • open source
  • data sets
  • real world
  • machine learning
  • decision making
  • multiscale
  • search algorithm
  • special case
  • knowledge management