Robert Nieuwenhuis
发表
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2005,
RTA.
Robert Nieuwenhuis,
Guillem Godoy,
Hubert Comon-Lundh,
2001,
Proceedings 2001 IEEE International Conference on Cluster Computing.
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
Marc Bezem,
2008,
Discret. Appl. Math..
Robert Nieuwenhuis,
R. Nieuwenhuis,
2014,
CP.
Robert Nieuwenhuis,
José Miguel Rivero,
Miguel Ángel Vallejo,
1996,
APPIA-GULP-PRODE.
Robert Nieuwenhuis,
1999
.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Javier Larrosa,
2010,
Journal of Automated Reasoning.
Robert Nieuwenhuis,
Marc Bezem,
Roberto Javier Asín Achá,
2015,
AI Commun..
Robert Nieuwenhuis,
Guillem Godoy,
R. Nieuwenhuis,
2004,
Constraints.
Robert Nieuwenhuis,
Guillem Godoy,
R. Nieuwenhuis,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Andrei Voronkov,
Robert Nieuwenhuis,
Anatoli Degtyarev,
2000,
J. Symb. Comput..
Robert Nieuwenhuis,
José Miguel Rivero,
J. M. Rivero,
1999,
RTA.
Helmut Veith,
Nikolaj Bjørner,
Andrei Voronkov,
2010,
Decision Procedures in Software, Hardware and Bioware.
Andrei Voronkov,
Robert Nieuwenhuis,
2001
.
Jürgen Giesl,
Franz Baader,
Robert Nieuwenhuis,
2007,
Deduction and Decision Procedures.
Robert Nieuwenhuis,
Roberto Javier Asín Achá,
R. Nieuwenhuis,
2012,
Ann. Oper. Res..
Robert Nieuwenhuis,
1999,
CADE.
Albert Rubio,
Robert Nieuwenhuis,
Guillem Godoy,
2003,
Journal of Automated Reasoning.
Michaël Rusinowitch,
Paliath Narendran,
Robert Nieuwenhuis,
1998,
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Peter Baumgartner,
Franz Baader,
Andrei Voronkov,
2005,
Deduction and Applications.
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
Marc Bezem,
2010,
Inf. Process. Lett..
Robert Nieuwenhuis,
José Miguel Rivero,
Miguel Ángel Vallejo,
2004,
Journal of Automated Reasoning.
Albert Rubio,
Robert Nieuwenhuis,
R. Nieuwenhuis,
1992,
CADE.
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.
Peter Baumgartner,
Franz Baader,
Andrei Voronkov,
2006
.
Franz Baader,
Robert Nieuwenhuis,
Byron Cook,
2007,
Deduction and Decision Procedures.
Robert Nieuwenhuis,
2009,
SAT.
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..
Harald Ganzinger,
Robert Nieuwenhuis,
Fernando Orejas,
1993,
PROSPECTRA Book.
Robert Nieuwenhuis,
Hubert Comon-Lundh,
R. Nieuwenhuis,
2000,
Inf. Comput..
Albert Rubio,
Robert Nieuwenhuis,
R. Nieuwenhuis,
1994,
CADE.
Robert Nieuwenhuis,
R. Nieuwenhuis,
1992
.
Fernando Orejas,
Robert Nieuwenhuis,
F. Orejas,
1990,
CTRS.
Robert Nieuwenhuis,
2003
.
Christoph Weidenbach,
Reinhard Wilhelm,
Deepak Kapur,
2013,
Programming Logics.
Robert Nieuwenhuis,
2002,
AI Commun..
Robert Nieuwenhuis,
1995,
Lecture Notes in Computer Science.
Robert Nieuwenhuis,
2010,
CP.
Albert Rubio,
Robert Nieuwenhuis,
R. Nieuwenhuis,
1995,
Theor. Comput. Sci..
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2003,
LPAR.
Helmut Veith,
Nikolaj Bjørner,
Andrei Voronkov,
2011,
Dagstuhl Reports.
Albert Rubio,
Robert Nieuwenhuis,
R. Nieuwenhuis,
1993,
RTA.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2011,
Constraints.
Albert Rubio,
Robert Nieuwenhuis,
Hubert Comon-Lundh,
1995,
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Fernando Orejas,
Robert Nieuwenhuis,
1990,
ADT.
Peter Baumgartner,
Franz Baader,
Robert Nieuwenhuis,
2006,
Deduction and Applications.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio,
2008,
2008 Formal Methods in Computer-Aided Design.
Cesare Tinelli,
Albert Oliveras,
Harald Ganzinger,
2004,
CAV.
Jürgen Giesl,
Franz Baader,
Robert Nieuwenhuis,
2007,
Deduction and Decision Procedures.
Robert Nieuwenhuis,
R. Nieuwenhuis,
1998,
Inf. Comput..
Robert Nieuwenhuis,
R. Nieuwenhuis,
1995,
RTA.
Albert Rubio,
Robert Nieuwenhuis,
Guillem Godoy,
2000,
FroCoS.
Robert Nieuwenhuis,
Guillem Godoy,
R. Nieuwenhuis,
2001,
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Cesare Tinelli,
Albert Oliveras,
Robert Nieuwenhuis,
2005,
LPAR.
Peter J. Stuckey,
Robert Nieuwenhuis,
Morgan Deters,
2011,
SAT.
Robert Nieuwenhuis,
2005
.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Albert Rubio,
2007,
RTA.
Robert Nieuwenhuis,
José Miguel Rivero,
J. M. Rivero,
2002,
Inf. Comput..
Robert Nieuwenhuis,
2005,
CADE.
Albert Oliveras,
Albert Rubio,
Robert Nieuwenhuis,
2008
.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2008,
CAV.
Harald Ganzinger,
Robert Nieuwenhuis,
Pilar Nivela,
2001,
IJCAR.
Robert Nieuwenhuis,
José Miguel Rivero,
Miguel Ángel Vallejo,
1997,
CADE.
Helmut Veith,
Nikolaj Bjørner,
Andrei Voronkov,
2010,
Decision Procedures in Software, Hardware and Bioware.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Javier Larrosa,
2009,
SAT.
Robert Nieuwenhuis,
2015,
GCAI.
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2007,
Inf. Comput..
Robert Nieuwenhuis,
Pilar Nivela,
1993,
RTA.
Michaël Rusinowitch,
Paliath Narendran,
Robert Nieuwenhuis,
2003,
TOCL.
Albert Rubio,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2001,
Handbook of Automated Reasoning.
Andreas Podelski,
Phokion G. Kolaitis,
Andrei Voronkov,
2004,
LICS 2004.
Albert Rubio,
Robert Nieuwenhuis,
Guillem Godoy,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Ashish Tiwari,
Robert Nieuwenhuis,
Guillem Godoy,
2004,
TOCL.
Albert Rubio,
Fernando Orejas,
Robert Nieuwenhuis,
1990,
CADE.
Albert Rubio,
Robert Nieuwenhuis,
R. Nieuwenhuis,
1997,
J. Symb. Comput..
Albert Rubio,
Robert Nieuwenhuis,
R. Nieuwenhuis,
1995,
J. Symb. Comput..
Harald Ganzinger,
Robert Nieuwenhuis,
1999,
CCL.
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2005,
LPAR.
Robert Nieuwenhuis,
Guillem Godoy,
R. Nieuwenhuis,
2004,
J. Symb. Comput..
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2020,
LPAR.
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
Marc Bezem,
2008,
LPAR.
Albert Rubio,
Robert Nieuwenhuis,
R. Nieuwenhuis,
1992,
ESOP.
Robert Nieuwenhuis,
2012,
IJCAR.
Robert Nieuwenhuis,
Pilar Nivela,
R. Nieuwenhuis,
1991,
Inf. Process. Lett..
Albert Oliveras,
Robert Nieuwenhuis,
R. Nieuwenhuis,
2005,
CAV.
Cesare Tinelli,
Albert Oliveras,
Robert Nieuwenhuis,
2006,
LPAR.
Robert Nieuwenhuis,
R. Nieuwenhuis,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Harald Ganzinger,
Robert Nieuwenhuis,
Pilar Nivela,
2004,
Journal of Automated Reasoning.
Peter Baumgartner,
Franz Baader,
Andrei Voronkov,
2005,
Deduction and Applications.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2008,
SAT.
Robert Nieuwenhuis,
R. Nieuwenhuis,
1993,
Inf. Process. Lett..
Andrei Voronkov,
Robert Nieuwenhuis,
Thomas Hillenbrand,
2001,
IJCAR.
Albert Oliveras,
Robert Nieuwenhuis,
Enric Rodríguez-carbonell,
2021,
IEEE Access.
Albert Oliveras,
Enric Rodríguez-Carbonell,
Robert Nieuwenhuis,
2021,
IEEE Access.
Robert Nieuwenhuis,
R. Nieuwenhuis,
2007
.
Robert Nieuwenhuis,
2003
.
Albert Oliveras,
Robert Nieuwenhuis,
2004
.
Robert Nieuwenhuis,
1996,
LICS 1996.
Albert Rubio,
Robert Nieuwenhuis,
Hubert Comon,
1995,
LICS 1995.