Albert Oliveras

2008
19	EE	Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: The Barcelogic SMT Solver. CAV 2008: 294-298
18	EE	Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Efficient Generation of Unsatisfiability Proofs and Cores in SAT. LPAR 2008: 16-30
17	EE	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
16	EE	Sava Krstic, Albert Oliveras: Preface. Electr. Notes Theor. Comput. Sci. 198(2): 1-2 (2008)
15	EE	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)
2007
14	EE	Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: Challenges in Satisfiability Modulo Theories. RTA 2007: 2-18
13	EE	Federico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSat: A New Weighted Max-SAT Solver. SAT 2007: 41-55
12	EE	Robert Nieuwenhuis, Albert Oliveras: Fast congruence closure and extensions. Inf. Comput. 205(4): 557-580 (2007)
2006
11	EE	Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras: SMT Techniques for Fast Predicate Abstraction. CAV 2006: 424-437
10	EE	Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Splitting on Demand in SAT Modulo Theories. LPAR 2006: 512-526
9	EE	Robert Nieuwenhuis, Albert Oliveras: On SAT Modulo Theories and Optimization Problems. SAT 2006: 156-169
8	EE	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)
2005
7	EE	Robert Nieuwenhuis, Albert Oliveras: DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic. CAV 2005: 321-334
6	EE	Robert Nieuwenhuis, Albert Oliveras: Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. LPAR 2005: 23-46
5	EE	Robert Nieuwenhuis, Albert Oliveras: Proof-Producing Congruence Closure. RTA 2005: 453-468
2004
4	EE	Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: DPLL( T): Fast Decision Procedures. CAV 2004: 175-188
3	EE	Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Abstract DPLL and Abstract DPLL Modulo Theories. LPAR 2004: 36-50
2003
2	EE	Robert Nieuwenhuis, Albert Oliveras: Congruence Closure with Integer Offsets. LPAR 2003: 78-90
1998
1	EE	Philippe Salembier, Albert Oliveras, Luis Garrido: Antiextensive connected operators for image and sequence processing. IEEE Transactions on Image Processing 7(4): 555-570 (1998)

Coauthor Index

1	Roberto Asín	[18]
2	Clark W. Barrett (Clark Barrett)	[10] [15]
3	Miquel Bofill	[19]
4	Morgan Deters	[15]
5	Germain Faure	[17]
6	Harald Ganzinger	[4]
7	Luis Garrido	[1]
8	George Hagen	[4]
9	Federico Heras	[13]
10	Sava Krstic	[16]
11	Shuvendu K. Lahiri	[11]
12	Javier Larrosa	[13]
13	Robert Nieuwenhuis	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [17] [18] [19]
14	Enric Rodríguez-Carbonell	[14] [17] [18] [19]
15	Albert Rubio	[14] [19]
16	Philippe Salembier	[1]
17	Aaron Stump	[15]
18	Cesare Tinelli	[3] [4] [8] [10]

Colors in the list of coauthors