Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic.
R. F. SadykovMikhail U. MandrykinPublished in: Program. Comput. Softw. (2022)
Keyphrases
- decision theory
- decision making
- theoretical basis
- data structure
- databases
- theoretical framework
- general theory
- artificial neural networks
- decision makers
- description logics
- asymptotically optimal
- information theory
- decision problems
- decision rules
- computational model
- relational databases
- search algorithm
- multiscale
- decision trees
- image processing
- search engine