FMplex: A Novel Method for Solving Linear Real Arithmetic Problems (Extended Version).
Jasper NalbachValentin PromiesErika ÁbrahámPaul KobialkaPublished in: CoRR (2023)
Keyphrases
- pairwise
- high accuracy
- linear model
- combinatorial optimization
- algebraic equations
- heuristic methods
- solving problems
- detection method
- neural network
- linear systems
- significant improvement
- computational complexity
- objective function
- similarity measure
- convex quadratic programming
- quadratic programming
- support vector machine svm
- segmentation method
- linear programming
- optimization problems
- experimental evaluation
- genetic algorithm