A decision procedure for linear "big O" equations
Jeremy AvigadKevin DonnellyPublished in: CoRR (2007)
Keyphrases
- linear systems
- decision making
- decision rules
- mathematical model
- angular velocity
- decision makers
- big data
- decision process
- integer arithmetic
- dynamical systems
- decision problems
- square root
- linear model
- decision model
- closed form
- algebraic equations
- linear constraints
- database
- image processing
- genetic algorithm
- data sets