Sign in

The Second QBF Solvers Comparative Evaluation.

Daniel Le BerreMassimo NarizzanoLaurent SimonArmando Tacchella
Published in: SAT (Selected Papers (2004)
Keyphrases
  • comparative evaluation
  • page segmentation
  • scoring methods
  • text categorization
  • machine learning
  • knn
  • unsupervised learning
  • term weighting methods