On the Theoretical and Practical Complexity of the Existential Theory of Reals.
Joos HeintzMarie-Françoise RoyPablo SolernóPublished in: Comput. J. (1993)
Keyphrases
- theoretical basis
- theoretical underpinnings
- computational complexity
- theoretical developments
- worst case
- query answering
- mathematical foundations
- general theory
- theoretical analysis
- complexity analysis
- decision problems
- theoretical considerations
- real world
- data sets
- database
- theoretical framework
- computational cost
- search algorithm
- complexity theory
- knowledge base