Albert Oliveras

2008
15	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
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	Clark Barrett	[10]
2	Germain Faure	[15]
3	Harald Ganzinger	[4]
4	Luis Garrido	[1]
5	George Hagen	[4]
6	Federico Heras	[13]
7	Shuvendu K. Lahiri	[11]
8	Javier Larrosa	[13]
9	Robert Nieuwenhuis	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15]
10	Enric Rodríguez-Carbonell	[14] [15]
11	Albert Rubio	[14]
12	Philippe Salembier	[1]
13	Cesare Tinelli	[3] [4] [8] [10]

Colors in the list of coauthors