Albert Oliveras
Albert Oliveras
Verified email at lsi.upc.edu
Title
Cited by
Cited by
Year
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
R Nieuwenhuis, A Oliveras, C Tinelli
Journal of the ACM (JACM) 53 (6), 937-977, 2006
9612006
DPLL(T): Fast Decision Procedures
H Ganzinger, G Hagen, R Nieuwenhuis, A Oliveras, C Tinelli
International Conference on Computer Aided Verification, 175-188, 2004
4032004
On SAT modulo theories and optimization problems
R Nieuwenhuis, A Oliveras
International conference on theory and applications of satisfiability …, 2006
1652006
DPLL (T) with exhaustive theory propagation and its application to difference logic
R Nieuwenhuis, A Oliveras
International Conference on Computer Aided Verification, 321-334, 2005
1582005
MiniMaxSAT: An efficient weighted Max-SAT solver
F Heras, J Larrosa, A Oliveras
Journal of Artificial Intelligence Research 31, 1-32, 2008
1562008
Cardinality networks: a theoretical and empirical study
R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
Constraints 16 (2), 195-221, 2011
1522011
Abstract DPLL and abstract DPLL modulo theories
R Nieuwenhuis, A Oliveras, C Tinelli
International Conference on Logic for Programming Artificial Intelligence …, 2005
1342005
Splitting on demand in SAT modulo theories
C Barrett, R Nieuwenhuis, A Oliveras, C Tinelli
International Conference on Logic for Programming Artificial Intelligence …, 2006
1202006
SMT techniques for fast predicate abstraction
SK Lahiri, R Nieuwenhuis, A Oliveras
International Conference on Computer Aided Verification, 424-437, 2006
1192006
The barcelogic SMT solver
M Bofill, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, A Rubio
International Conference on Computer Aided Verification, 294-298, 2008
1102008
Proof-producing congruence closure
R Nieuwenhuis, A Oliveras
International Conference on Rewriting Techniques and Applications, 453-468, 2005
1052005
6 years of SMT-COMP
C Barrett, M Deters, L De Moura, A Oliveras, A Stump
Journal of Automated Reasoning 50 (3), 243-277, 2013
942013
MiniMaxSat: A new weighted Max-SAT solver
F Heras, J Larrosa, A Oliveras
International Conference on Theory and Applications of Satisfiability …, 2007
922007
Fast congruence closure and extensions
R Nieuwenhuis, A Oliveras
Information and Computation 205 (4), 557-580, 2007
912007
Cardinality networks and their applications
R Asín, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
International Conference on Theory and Applications of Satisfiability …, 2009
782009
A new look at BDDs for pseudo-Boolean constraints
I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell, ...
Journal of Artificial Intelligence Research 45, 443-480, 2012
682012
Proving termination of imperative programs using Max-SMT
D Larraz, A Oliveras, E Rodríguez-Carbonell, A Rubio
2013 Formal Methods in Computer-Aided Design, 218-225, 2013
582013
Congruence closure with integer offsets
R Nieuwenhuis, A Oliveras
International Conference on Logic for Programming Artificial Intelligence …, 2003
572003
A parametric approach for smaller and better encodings of cardinality constraints
I Abío, R Nieuwenhuis, A Oliveras, E Rodríguez-Carbonell
International Conference on Principles and Practice of Constraint …, 2013
532013
SAT modulo linear arithmetic for solving polynomial constraints
C Borralleras, S Lucas, A Oliveras, E Rodríguez-Carbonell, A Rubio
Journal of Automated Reasoning 48 (1), 107-131, 2012
522012
The system can't perform the operation now. Try again later.
Articles 1–20