An Instantiation-Based Approach for Solving Quantified Linear Arithmetic.
Andrew ReynoldsTim KingViktor KuncakPublished in: CoRR (2015)
Keyphrases
- convex quadratic programming
- quadratic programming
- inverse problems in image processing
- algebraic equations
- genetic algorithm
- quadratic program
- solving problems
- objective function
- combinatorial optimization
- linear model
- piecewise linear
- state space
- linear complexity
- knowledge base
- information systems
- set of linear equations
- computer vision
- database