Satisfiability of Non-linear (Ir)rational Arithmetic.
Harald ZanklAart MiddeldorpPublished in: LPAR (Dakar) (2010)
Keyphrases
- information retrieval
- np complete
- satisfiability problem
- information retrieval systems
- computational complexity
- phase transition
- terminological reasoning
- sat problem
- propositional logic
- text retrieval
- information access
- bounded rationality
- query expansion
- orders of magnitude
- ad hoc retrieval
- decision procedures
- web information retrieval
- arithmetic operations