Javier Larrosa Robert Nieuwenhuis Albert Oliveras Enric Rodríguez-Carbonell Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. 453-466 2009 SAT http://dx.doi.org/10.1007/978-3-642-02777-2_42 conf/sat/2009 db/conf/sat/sat2009.html#LarrosaNOR09