A Decision Procedure for Linear "Big O" Equations.

Jeremy Avigad Kevin Donnelly

Published in: J. Autom. Reason. (2007)

Keyphrases

linear systems
decision making
square root
decision makers
integer arithmetic
algebraic equations
angular velocity
differential equations
iterative procedure
information systems
bayesian networks
sufficient conditions
search procedure
decision theory
linear constraints
decision processes