Albert Oliveras
发表
Daniel Larraz,
Kaustubh Nimkar,
Albert Oliveras,
2014,
CAV.
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2005,
RTA.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Javier Larrosa,
2010,
Journal of Automated Reasoning.
Albert Oliveras,
Francesc Vallverdú,
Sergi Bermejo,
2014
.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2013,
CP.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2009,
SAT.
Cesare Tinelli,
Albert Oliveras,
Robert Nieuwenhuis,
2006,
JACM.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2011,
SAT.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2008,
LPAR.
Albert Oliveras,
Shuvendu K. Lahiri,
Robert Nieuwenhuis,
2006,
CAV.
Albert Oliveras,
Adriano Camps,
Elisenda Bou,
2013
.
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2006,
SAT.
Peter J. Stuckey,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2013,
CP.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2010,
AI Commun..
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2012,
J. Artif. Intell. Res..
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2003,
LPAR.
Albert Oliveras,
Adriano Camps,
Eduard Alarcon,
2011
.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2011,
Constraints.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio,
2008,
2008 Formal Methods in Computer-Aided Design.
Cesare Tinelli,
Albert Oliveras,
Harald Ganzinger,
2004,
CAV.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2016,
SAT.
Albert Oliveras,
Adriano Camps,
Eduard Alarcon,
2012
.
Cesare Tinelli,
Albert Oliveras,
Robert Nieuwenhuis,
2005,
LPAR.
Albert Oliveras,
Philippe Salembier,
Luis Garrido,
1997
.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio,
2007,
RTA.
Albert Oliveras,
Albert Rubio,
Robert Nieuwenhuis,
2008
.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2008,
CAV.
Albert Oliveras,
Aaron Stump,
Clark W. Barrett,
2008,
Int. J. Artif. Intell. Tools.
Marc Van Droogenbroeck,
Albert Oliveras,
Montse Pardàs,
1993
.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2013,
2013 Formal Methods in Computer-Aided Design.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Javier Larrosa,
2009,
SAT.
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2007,
Inf. Comput..
Salvador Lucas,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2010,
Journal of Automated Reasoning.
Albert Oliveras,
Philippe Salembier,
Luis Garrido,
1997,
Electronic Imaging.
Albert Oliveras,
Adriano Camps,
Eduard Alarcon,
2013
.
Albert Oliveras,
Aaron Stump,
Leonardo Mendonça de Moura,
2012,
Journal of Automated Reasoning.
Olga Pons,
Albert Oliveras,
Adriano Camps,
2011,
2011 Promotion and Innovation with New Technologies in Engineering Education (FINTDI 2011).
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2017,
TACAS.
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2005,
LPAR.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2020,
LPAR.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Javier Larrosa,
2010,
LPAR.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2015,
2015 Formal Methods in Computer-Aided Design (FMCAD).
Albert Oliveras,
Philippe Salembier,
1996,
Other Conferences.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2014,
SAT.
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2005,
CAV.
Cesare Tinelli,
Albert Oliveras,
Robert Nieuwenhuis,
2006,
LPAR.
José B. Mariño,
Albert Oliveras,
Climent Nadeu,
1991,
EUROSPEECH.
Daniel Larraz,
Albert Oliveras,
Enric Rodríguez-Carbonell,
2019,
ACM Trans. Comput. Log..
Albert Oliveras,
Miguel García-Hernández,
Ramon Bragós,
2015
.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2008,
SAT.
Albert Oliveras,
Javier Larrosa,
Federico Heras,
2008,
J. Artif. Intell. Res..
Albert Oliveras,
Sava Krstic,
2008,
Electron. Notes Theor. Comput. Sci..
Albert Oliveras,
Javier Larrosa,
Federico Heras,
2007,
SAT.
Albert Oliveras,
Robert Nieuwenhuis,
Enric Rodríguez-carbonell,
2021,
IEEE Access.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2021,
IEEE Access.
Albert Oliveras,
Robert Nieuwenhuis,
2004
.