Javier Larrosa (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

54 Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: A Framework for Certified Boolean Branch-and-Bound Optimization. J. Autom. Reasoning 46(1): 81-102 (2011)

51 Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. SAT 2009: 453-466

Selection of 2 from 58 records - Javier Larrosa has 24 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

54		Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: A Framework for Certified Boolean Branch-and-Bound Optimization. J. Autom. Reasoning 46(1): 81-102 (2011)
51		Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates. SAT 2009: 453-466