Login / Signup

Solving Linux Upgradeability Problems Using Boolean Optimization

Josep ArgelichDaniel Le BerreInês LynceJoão P. Marques SilvaPascal Rapicault
Published in: LoCoCo (2010)
Keyphrases
  • boolean optimization
  • sat solving
  • solving problems
  • integer linear programming
  • optimization problems
  • boolean satisfiability
  • uniform distribution
  • nonlinear programming
  • graph coloring
  • pseudo boolean