How to Make Manual Conjunctive Normal Form Queries Work in Patents Search.

Le Zhao Jamie Callan

Published in: TREC (2011)

Keyphrases

prior art
user queries
search algorithm
conjunctive normal form
query language
search space
information retrieval
query processing
polynomial size
disjunctive normal form
relational databases
query evaluation
search methods
satisfiability problem