Albert Oliveras

	2012
30		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
29		Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: BDDs for Pseudo-Boolean Constraints - Revisited. SAT 2011: 61-75
28		Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Cardinality Networks: a theoretical and empirical study. Constraints 16(2): 195-221 (2011)
27		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)
	2010
26		Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell: Semiring-Induced Propositional Logic: Definition and Basic Algorithms. LPAR (Dakar) 2010: 332-347
25		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)
	2009
24		Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Cardinality Networks and Their Applications. SAT 2009: 167-180
23		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
22		Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: The Barcelogic SMT Solver. CAV 2008: 294-298
21		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
20		Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell: Efficient Generation of Unsatisfiability Proofs and Cores in SAT. LPAR 2008: 16-30
19		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
18		Sava Krstic, Albert Oliveras: Preface. Electr. Notes Theor. Comput. Sci. 198(2): 1-2 (2008)
17		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)
16		Federico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSAT: An Efficient Weighted Max-SAT solver. J. Artif. Intell. Res. (JAIR) 31: 1-32 (2008)
	2007
15		Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: Challenges in Satisfiability Modulo Theories. RTA 2007: 2-18
14		Federico Heras, Javier Larrosa, Albert Oliveras: MiniMaxSat: A New Weighted Max-SAT Solver. SAT 2007: 41-55
13		Robert Nieuwenhuis, Albert Oliveras: Fast congruence closure and extensions. Inf. Comput. 205(4): 557-580 (2007)
	2006
12		Shuvendu K. Lahiri, Robert Nieuwenhuis, Albert Oliveras: SMT Techniques for Fast Predicate Abstraction. CAV 2006: 424-437
11		Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Splitting on Demand in SAT Modulo Theories. LPAR 2006: 512-526
10		Robert Nieuwenhuis, Albert Oliveras: On SAT Modulo Theories and Optimization Problems. SAT 2006: 156-169
9		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
8		Robert Nieuwenhuis, Albert Oliveras: DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic. CAV 2005: 321-334
7		Robert Nieuwenhuis, Albert Oliveras: Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools. LPAR 2005: 23-46
6		Robert Nieuwenhuis, Albert Oliveras: Proof-Producing Congruence Closure. RTA 2005: 453-468
	2004
5		Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: DPLL( T): Fast Decision Procedures. CAV 2004: 175-188
4		Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Abstract DPLL and Abstract DPLL Modulo Theories. LPAR 2004: 36-50
	2003
3		Robert Nieuwenhuis, Albert Oliveras: Congruence Closure with Integer Offsets. LPAR 2003: 78-90
	1998
2		Philippe Salembier, Albert Oliveras, Luis Garrido: Antiextensive connected operators for image and sequence processing. IEEE Transactions on Image Processing 7(4): 555-570 (1998)
	1991
1		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

1	Ignasi Abío	[29]
2	Roberto Javier Asín Achá (Roberto Asín)	[20] [24] [25] [28]
3	Clark W. Barrett (Clark Barrett)	[11] [17]
4	Miquel Bofill	[21] [22]
5	Cristina Borralleras	[30]
6	Morgan Deters	[17]
7	Germain Faure	[19]
8	Harald Ganzinger	[5]
9	Luis Garrido	[2]
10	George Hagen	[5]
11	Federico Heras	[14] [16]
12	Sava Krstic	[18]
13	Shuvendu K. Lahiri	[12]
14	Javier Larrosa	[14] [16] [23] [26] [27]
15	Eduardo Lleida (Eduardo Lleida-Solano)	[1]
16	Salvador Lucas	[30]
17	José B. Mariño	[1]
18	Climent Nadeu	[1]
19	Robert Nieuwenhuis	[3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [15] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29]
20	Enric Rodríguez-Carbonell	[15] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30]
21	Albert Rubio	[15] [21] [22] [30]
22	Philippe Salembier	[2]
23	Aaron Stump	[17]
24	Cesare Tinelli	[4] [5] [9] [11]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page