Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations.
Himanshu JainEdmund M. ClarkeOrna GrumbergPublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- linear systems
- angular velocity
- square root
- mathematical model
- linear complexity
- numerical solution
- computationally expensive
- differential equations
- set of linear equations
- real time
- numerical integration
- linear equations
- closed form
- scale space
- objective function
- reinforcement learning
- bayesian networks
- case study
- website
- information systems
- databases