Conversion of Boolean and Integer FlatZinc Builtins to Quadratic or Linear Integer Problems.
Armin WolfPublished in: CoRR (2024)
Keyphrases
- minimum cost flow
- problems involving
- integer arithmetic
- integer variables
- semidefinite
- integer valued
- solving problems
- real valued
- quadratic programming
- linear systems
- benchmark problems
- optimization problems
- objective function
- decision trees
- learning algorithm
- data mining
- sensitivity analysis
- decision problems
- computational complexity
- multiscale
- machine learning