FMplex: A Novel Method for Solving Linear Real Arithmetic Problems.
Jasper NalbachValentin PromiesErika ÁbrahámPaul KobialkaPublished in: GandALF (2023)
Keyphrases
- experimental evaluation
- closed form
- fractional programming
- algebraic equations
- search algorithm
- cost function
- probabilistic model
- high accuracy
- support vector machine svm
- clustering method
- significant improvement
- linear model
- alternative methods
- preprocessing
- dynamic programming
- optimization problems
- detection method
- combinatorial optimization
- search methods
- linear least squares
- similarity measure