@article{Larrosaetal2010JAR,
  author    = {Javier Larrosa and
               Robert Nieuwenhuis and
               Albert Oliveras and
               Enric Rodr\'{\i}guez-Carbonell},
  title     = {{A Framework for Certified Boolean Branch-and-Bound Optimization}},
  journal   = {Journal of Automated Reasoning},
 volume = {46},
 number = {1},
 year = {2011},
 pages = {81--102}
}