A complete and terminating approach to linear integer solving.
Martin BrombergerThomas SturmChristoph WeidenbachPublished in: J. Symb. Comput. (2020)
Keyphrases
- convex quadratic programming
- quadratic programming
- algebraic equations
- closed form
- inverse problems in image processing
- multiscale
- solving problems
- linear complexity
- artificial intelligence
- integer arithmetic
- machine learning
- state space
- combinatorial optimization
- bayesian networks
- integer variables
- integer valued
- set of linear equations
- haar transform
- data sets