Solving quantified linear arithmetic by counterexample-guided instantiation.
Andrew ReynoldsTim KingViktor KuncakPublished in: Formal Methods Syst. Des. (2017)
Keyphrases
- convex quadratic programming
- data sets
- quadratic programming
- linear systems
- inverse problems in image processing
- set of linear equations
- model checking
- image sequences
- case study
- evolutionary algorithm
- artificial intelligence
- combinatorial optimization
- floating point
- machine learning
- data mining
- simple linear
- algebraic equations
- real world
- databases
- real time