The Second QBF Solvers Comparative Evaluation.

Daniel Le Berre Massimo Narizzano Laurent Simon Armando Tacchella

Published in: SAT (Selected Papers (2004)

Keyphrases

comparative evaluation
page segmentation
scoring methods
text categorization
machine learning
knn
unsupervised learning
term weighting methods