Login / Signup

Algorithms for Weighted Boolean Optimization.

Vasco M. ManquinhoJoão P. Marques SilvaJordi Planes
Published in: SAT (2009)
Keyphrases
  • orders of magnitude
  • data structure
  • objective function
  • computational complexity
  • optimization problems