@InProceedings{Larrosaetal2009SAT,
  author    = {J. Larrosa and
               R. Nieuwenhuis and
               A. Oliveras and
               E. Rodr\'\i guez Carbonell},
  title     = {{Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates}},
  booktitle = {12th International Conference on Theory and Applications of Satisfiability Testing, SAT'09},
  editor    = {O. Kullmann},
  pages     = {453-466},
  year      = {2009},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume    = {5584}
}