Integer Linear Programming in Solving an Optimization Problem at the Mixing Department of the Metallurgical Production.
Damir N. GainanovDmitriy A. BerenovEgor A. NikolaevVarvara RasskazovaPublished in: LION (2022)
Keyphrases
- integer linear programming
- boolean optimization
- pseudo boolean
- column generation
- bicriteria
- boolean satisfiability
- discrete optimization
- linear inequalities
- nonlinear programming
- combinatorial optimization
- quadratic programming
- symmetry breaking
- integer program
- optimization model
- global constraints
- sat solving
- optimization problems
- constrained optimization
- branch and bound
- exact solution
- sat encodings
- multistage