Albert Oliveras Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Clark Barrett, Morgan Deters, Leonardo Mendonça de Moura, Albert Oliveras, Aaron Stump: 6 Years of SMT-COMP. J. Autom. Reasoning 50(3): 243-277 (2013)
2012
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Valentin Mayer-Eichberger: A New Look at BDDs for Pseudo-Boolean Constraints. J. Artif. Intell. Res. (JAIR) 45: 443-480 (2012)
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. J. Autom. Reasoning 48(1): 107-131 (2012)
2011
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Cardinality Networks: a theoretical and empirical study. Constraints 16(2): 195-221 (2011)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: BDDs for Pseudo-Boolean Constraints - Revisited. SAT 2011: 61-75
2010
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Javier Asín Achá, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Practical algorithms for unsatisfiability proof and core generation in SAT solvers. AI Commun. 23(2-3): 145-157 (2010)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell: Semiring-Induced Propositional Logic: Definition and Basic Algorithms. LPAR (Dakar) 2010: 332-347
2009
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Cardinality Networks and Their Applications. SAT 2009: 167-180
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2008
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sava Krstic, Albert Oliveras: Preface. Electr. Notes Theor. Comput. Sci. 198(2): 1-2 (2008)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Clark Barrett, Morgan Deters, Albert Oliveras, Aaron Stump: Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007). International Journal on Artificial Intelligence Tools 17(4): 569-606 (2008)
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Federico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSAT: An Efficient Weighted Max-SAT solver. J. Artif. Intell. Res. (JAIR) 31: 1-32 (2008)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: The Barcelogic SMT Solver. CAV 2008: 294-298
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: A Write-Based Solver for SAT Modulo the Theory of Arrays. FMCAD 2008: 1-8
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Efficient Generation of Unsatisfiability Proofs and Cores in SAT. LPAR 2008: 16-30
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. SAT 2008: 77-90
2007
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Nieuwenhuis, Albert Oliveras: Fast congruence closure and extensions. Inf. Comput. 205(4): 557-580 (2007)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: Challenges in Satisfiability Modulo Theories. RTA 2007: 2-18
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Federico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSat: A New Weighted Max-SAT Solver. SAT 2007: 41-55
2006
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T). J. ACM 53(6): 937-977 (2006)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras: SMT Techniques for Fast Predicate Abstraction. CAV 2006: 424-437
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Splitting on Demand in SAT Modulo Theories. LPAR 2006: 512-526
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Nieuwenhuis, Albert Oliveras: On SAT Modulo Theories and Optimization Problems. SAT 2006: 156-169
2005
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Nieuwenhuis, Albert Oliveras: DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic. CAV 2005: 321-334
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Nieuwenhuis, Albert Oliveras: Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. LPAR 2005: 23-46
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Nieuwenhuis, Albert Oliveras: Proof-Producing Congruence Closure. RTA 2005: 453-468
2004
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: DPLL( T): Fast Decision Procedures. CAV 2004: 175-188
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Abstract DPLL and Abstract DPLL Modulo Theories. LPAR 2004: 36-50
2003
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Robert Nieuwenhuis, Albert Oliveras: Congruence Closure with Integer Offsets. LPAR 2003: 78-90
1991
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eduardo Lleida, José B. Mariño, Climent Nadeu, Albert Oliveras: Two level continuous speech recognition using demisyllable-based HMM word spotting. EUROSPEECH 1991

Coauthor Index

1Ignasi Abío
[j10] [c20]
2Roberto Javier Asín Achá (Roberto Asín)
[j8] [j6] [c18] [c14]
3Clark W. Barrett (Clark Barrett)
[j11] [j4] [c9]
4Miquel Bofill
[c16] [c15]
5Cristina Borralleras
[j9]
6Morgan Deters
[j11] [j4]
7Germain Faure
[c13]
8Harald Ganzinger
[c4]
9George Hagen
[c4]
10Federico Heras
[j3] [c11]
11Sava Krstic
[j5]
12Shuvendu K. Lahiri
[c10]
13Javier Larrosa
[j7] [c19] [c17] [j3] [c11]
14Eduardo Lleida (Eduardo Lleida-Solano)
[c1]
15Salvador Lucas
[j9]
16José B. Mariño
[c1]
17Valentin Mayer-Eichberger
[j10]
18Leonardo Mendonça de Moura
[j11]
19Climent Nadeu
[c1]
20Robert Nieuwenhuis
[j10] [j8] [j7] [c20] [j6] [c18] [c17] [c16] [c15] [c14] [c13] [j2] [c12] [j1] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2]
21Enric Rodríguez-Carbonell
[j10] [j9] [j8] [j7] [c20] [j6] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12]
22Albert Rubio
[j9] [c16] [c15] [c12]
23Aaron Stump
[j11] [j4]
24Cesare Tinelli
[j1] [c9] [c4] [c3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 15:30:16 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page