Login / Signup

Component Updates as a Boolean Optimization Problem.

Alexander Stuckenholz
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • boolean optimization
  • sat solving
  • boolean satisfiability
  • learning algorithm
  • upper bound
  • integer linear programming