A Framework for Certified Boolean Branch-and-Bound Optimization | Publicación