Solving GENOPT Problems with the Use of ExaMin Solver.
Konstantin BarkalovAlexander SysoyevIlya LebedevVladislav SovrasovPublished in: LION (2016)
Keyphrases
- solving problems
- optimization problems
- solving complex
- combinatorial optimisation
- np complete
- combinatorial optimization
- combinatorial problems
- practical problems
- quadratic programming
- weighted max sat
- neural network
- sat solving
- quadratic program
- linear programming problems
- problems involving
- heuristic search
- data mining