Hybrid Evaluation Procedures for QBF.

Marco Benedetti

Published in: Intelligenza Artificiale (2005)

Keyphrases

knowledge base
evaluation method
evaluation criteria
evaluation process
information retrieval
search engine
phase transition
gold standard