dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Albert Oliveras (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell: Semiring-Induced Propositional Logic: Definition and Basic Algorithms. LPAR (Dakar) 2010: 332-347
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJavier 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSAT: An Efficient Weighted Max-SAT solver. J. Artif. Intell. Res. (JAIR) 31: 1-32 (2008)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFederico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSat: A New Weighted Max-SAT Solver. SAT 2007: 41-55

Selection of 5 from 30 records - Albert Oliveras has 24 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page