Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions.
Andrea AquinoGiovanni DenaroMauro PezzèPublished in: ICSE (2017)
Keyphrases
- optimal solution
- solution space
- solution quality
- optimal or near optimal
- exact solution
- matching algorithm
- global solution
- initial solution
- polynomial equations
- boundary value problem
- graph matching
- neural network
- linear equations
- approximate solutions
- arithmetic operations
- image matching
- metaheuristic
- candidate solutions
- ontology matching
- pattern matching
- feature points
- ant colony optimisation
- evolutionary algorithm
- worst case scenario