Handling software upgradeability problems with MILP solvers

Claude Michel Michel Rueher

Published in: LoCoCo (2010)

Keyphrases

problems involving
neural network
optimization problems
np complete
linear program
resource constrained project scheduling problem
user interface
simulated annealing
decision problems
software tools
mathematical programming
mixed integer linear programming
sat solving