Amplifying ZPP^SAT[1] and the Two Queries Problem.
Richard ChangSuresh PuriniPublished in: Computational Complexity Conference (2008)
Keyphrases
- query processing
- query language
- database
- range queries
- efficient processing
- user queries
- query evaluation
- query logs
- database queries
- web search engines
- response time
- query formulation
- complex queries
- sat solvers
- search engine
- satisfiability problem
- search queries
- retrieval systems
- search algorithm
- boolean queries
- model counting