×

zbMATH — the first resource for mathematics

Oliveras, Albert

Compute Distance To:
Author ID: oliveras.albert Recent zbMATH articles by "Oliveras, Albert"
Published as: Oliveras, A.; Oliveras, Albert
External Links: ORCID
Documents Indexed: 30 Publications since 1996, including 1 Book

Publications by Year

Citations contained in zbMATH

25 Publications have been cited 321 times in 248 Documents Cited by Year
Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\). Zbl 1326.68164
Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
113
2006
DPLL(\(T\)): Fast decision procedures. Zbl 1103.68616
Ganzinger, Harald; Hagen, George; Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
39
2004
Minimaxsat: an efficient weighted Max-SAT solver. Zbl 1183.68578
Heras, F.; Larrosa, J.; Oliveras, A.
22
2008
Splitting on demand in SAT modulo theories. Zbl 1165.68480
Barrett, Clark; Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
21
2006
DPLL(\(T\)) with exhaustive theory propagation and its application to difference logic. Zbl 1081.68629
Nieuwenhuis, Robert; Oliveras, Albert
18
2005
On SAT modulo theories and optimization problems. Zbl 1187.68558
Nieuwenhuis, Robert; Oliveras, Albert
15
2006
Cardinality networks: a theoretical and empirical study. Zbl 1217.68200
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
12
2011
Proof-producing congruence closure. Zbl 1078.68661
Nieuwenhuis, Robert; Oliveras, Albert
11
2005
Fast congruence closure and extensions. Zbl 1112.68116
Nieuwenhuis, Robert; Oliveras, Albert
10
2007
Abstract DPLL and abstract DPLL modulo theories. Zbl 1109.68097
Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
9
2005
Cardinality networks and their applications. Zbl 1247.68244
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
7
2009
Congruence closure with integer offsets. Zbl 1273.68326
Nieuwenhuis, Robert; Oliveras, Albert
6
2003
Challenges in satisfiability modulo theories. Zbl 1203.68189
Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
5
2007
Minimal-model-guided approaches to solving polynomial constraints and extensions. Zbl 1423.68457
Larraz, Daniel; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
4
2014
Efficient generation of unsatisfiability proofs and cores in SAT. Zbl 1182.68215
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
4
2008
SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers. Zbl 1138.68537
Faure, Germain; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
4
2008
Decision procedures for SAT, SAT modulo theories and beyond. The BarcelogicTools. Zbl 1143.68579
Nieuwenhuis, Robert; Oliveras, Albert
4
2005
A new look at BDDs for pseudo-Boolean constraints. Zbl 1252.68267
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Mayer-Eichberger, Valentin
3
2012
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
A parametric approach for smaller and better encodings of cardinality constraints. Zbl 1432.68412
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2013
A framework for certified Boolean branch-and-bound optimization. Zbl 1213.68581
Larrosa, Javier; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2011
Semiring-induced propositional logic: definition and basic algorithms. Zbl 1284.03209
Larrosa, Javier; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2010
Practical algorithms for unsatisfiability proof and core generation in SAT solvers. Zbl 1208.68195
Asín Achá, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2010
Branch and bound for Boolean optimization and the generation of optimality certificates. Zbl 1247.68255
Larrosa, Javier; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2009
BDDs for pseudo-Boolean constraints – revisited. Zbl 1330.68098
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
1
2011
Minimal-model-guided approaches to solving polynomial constraints and extensions. Zbl 1423.68457
Larraz, Daniel; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
4
2014
A parametric approach for smaller and better encodings of cardinality constraints. Zbl 1432.68412
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2013
A new look at BDDs for pseudo-Boolean constraints. Zbl 1252.68267
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Mayer-Eichberger, Valentin
3
2012
SAT modulo linear arithmetic for solving polynomial constraints. Zbl 1243.68210
Borralleras, Cristina; Lucas, Salvador; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
3
2012
Cardinality networks: a theoretical and empirical study. Zbl 1217.68200
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
12
2011
A framework for certified Boolean branch-and-bound optimization. Zbl 1213.68581
Larrosa, Javier; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2011
BDDs for pseudo-Boolean constraints – revisited. Zbl 1330.68098
Abío, Ignasi; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
1
2011
Semiring-induced propositional logic: definition and basic algorithms. Zbl 1284.03209
Larrosa, Javier; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2010
Practical algorithms for unsatisfiability proof and core generation in SAT solvers. Zbl 1208.68195
Asín Achá, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2010
Cardinality networks and their applications. Zbl 1247.68244
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
7
2009
Branch and bound for Boolean optimization and the generation of optimality certificates. Zbl 1247.68255
Larrosa, Javier; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
2
2009
Minimaxsat: an efficient weighted Max-SAT solver. Zbl 1183.68578
Heras, F.; Larrosa, J.; Oliveras, A.
22
2008
Efficient generation of unsatisfiability proofs and cores in SAT. Zbl 1182.68215
Asín, Roberto; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
4
2008
SAT modulo the theory of linear arithmetic: Exact, inexact and commercial solvers. Zbl 1138.68537
Faure, Germain; Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric
4
2008
Fast congruence closure and extensions. Zbl 1112.68116
Nieuwenhuis, Robert; Oliveras, Albert
10
2007
Challenges in satisfiability modulo theories. Zbl 1203.68189
Nieuwenhuis, Robert; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert
5
2007
Solving SAT and SAT modulo theories, from an abstract Davis-Putnam-Logemann-Loveland procedure to \(\operatorname{DPLL}(T)\). Zbl 1326.68164
Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
113
2006
Splitting on demand in SAT modulo theories. Zbl 1165.68480
Barrett, Clark; Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
21
2006
On SAT modulo theories and optimization problems. Zbl 1187.68558
Nieuwenhuis, Robert; Oliveras, Albert
15
2006
DPLL(\(T\)) with exhaustive theory propagation and its application to difference logic. Zbl 1081.68629
Nieuwenhuis, Robert; Oliveras, Albert
18
2005
Proof-producing congruence closure. Zbl 1078.68661
Nieuwenhuis, Robert; Oliveras, Albert
11
2005
Abstract DPLL and abstract DPLL modulo theories. Zbl 1109.68097
Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
9
2005
Decision procedures for SAT, SAT modulo theories and beyond. The BarcelogicTools. Zbl 1143.68579
Nieuwenhuis, Robert; Oliveras, Albert
4
2005
DPLL(\(T\)): Fast decision procedures. Zbl 1103.68616
Ganzinger, Harald; Hagen, George; Nieuwenhuis, Robert; Oliveras, Albert; Tinelli, Cesare
39
2004
Congruence closure with integer offsets. Zbl 1273.68326
Nieuwenhuis, Robert; Oliveras, Albert
6
2003
all top 5

Cited by 462 Authors

15 Weidenbach, Christoph
12 Barrett, Clark W.
12 Tinelli, Cesare
9 Bonacina, Maria Paola
9 Lierler, Yuliya
9 Reynolds, Andrew
9 Sebastiani, Roberto
8 Nieuwenhuis, Robert
7 de Moura, Leonardo
6 Oliveras, Albert
6 Rodríguez-Carbonell, Enric
5 Fontaine, Pascal
5 Maratea, Marco
5 Schaub, Torsten H.
4 Ansótegui, Carlos
4 Blanchette, Jasmin Christian
4 Bromberger, Martin
4 Bruttomesso, Roberto
4 Cimatti, Alessandro
4 Gebser, Martin
4 Griggio, Alberto
4 Jovanović, Dejan
4 Marques-Silva, João P.
4 Stump, Aaron
4 Subramani, Krishnan
3 Baader, Franz
3 Bright, Curtis
3 Codish, Michael
3 de Givry, Simon
3 Déharbe, David
3 Deters, Morgan
3 Echenim, Mnacho
3 Gabàs, Joel
3 Ganesh, Vijay
3 Heras, Federico
3 Johansson, Moa
3 King, Andy
3 Korovin, Konstantin
3 Kotsireas, Ilias S.
3 Kröning, Daniel
3 Larrosa, Javier
3 Meseguer Guaita, José
3 Planes, Jordi
3 Ranise, Silvio
3 Sharygina, Natasha
3 Song, Xiaoyu
3 Strichman, Ofer
3 Stuckey, Peter James
3 Sturm, Thomas F.
3 Voronkov, Andrei
3 Wojciechowski, Piotr J.
3 You, Jia-Huai
3 Zhang, Yan
2 Ábrahám, Erika
2 Alberti, Francesco
2 Arieli, Ofer
2 Banković, Milan
2 Bansal, Kshitij
2 Binh, Nguyen Thanh
2 Bofill, Miquel
2 Borgwardt, Stefan
2 Bozzano, Marco
2 Brockschmidt, Marc
2 Christ, Jürgen
2 Conchon, Sylvain
2 de Cat, Broes
2 De Oliveira, Diego Caminha B.
2 De Raedt, Luc
2 Dodaro, Carmine
2 D’silva, Vijay
2 Eggers, Andreas
2 Fietzke, Arnaud
2 Fleury, Mathias
2 Fränzle, Martin
2 Fuhs, Carsten
2 Ghilardi, Silvio
2 Giunchiglia, Enrico
2 Goel, Amit
2 Graham-Lengrand, Stéphane
2 Gu, Ming
2 He, Fei
2 Hoenicke, Jochen
2 Junttila, Tommi A.
2 Kaminski, Roland
2 Kanig, Johannes
2 Kapur, Deepak
2 Karpiński, Michał
2 Kaufmann, Benjamin
2 Krstic, Sava A.
2 Kruglov, Evgeniĭ Valentinovich
2 Larraz, Daniel
2 Liu, Fangfang
2 Lynce, Inês
2 Lynch, Christopher A.
2 Manquinho, Vasco M.
2 Marić, Filip
2 Meier, Andreas
2 Morawska, Barbara
2 Moskal, Michał
2 Niemelä, Ilkka N. F.
...and 362 more Authors

Citations by Year