A Decision Procedure for an Extensional Theory of Arrays.

Aaron Stump Clark W. Barrett David L. Dill Jeremy R. Levitt

Published in: LICS (2001)

Keyphrases

decision making
decision theory
computational model
theoretical framework
machine learning
theoretical foundation
theoretical basis
decision model
iterative procedure
formal theory
case study