Searching for a Solution to Program Verification=Equation Solving in CCS.
Raúl MonroyAlan BundyIan GreenPublished in: MICAI (2000)
Keyphrases
- nonlinear equations
- algebraic equations
- exact solution
- mathematical model
- hamilton jacobi bellman
- multiscale
- linear equations
- inverse problems in image processing
- sparse linear systems
- boundary value problem
- minimum cost
- quadratic programming
- search strategies
- lagrange multipliers
- search mechanism
- optimization method
- closed form
- dynamic programming
- polynomial equations
- wave equation
- systems of linear equations
- set of linear equations
- search engine
- genetic algorithm
- neural network