Bounded Queries to SAT and the Boolean Hierarchy.
Richard BeigelPublished in: Theor. Comput. Sci. (1991)
Keyphrases
- boolean queries
- query processing
- query language
- efficient processing
- query logs
- satisfiability problem
- database
- search algorithm
- real valued
- query evaluation
- range queries
- sat solvers
- user queries
- search strategies
- web search engines
- response time
- database queries
- boolean expressions
- hierarchical structure
- user defined
- multi dimensional
- web search
- data sources