dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Robert Nieuwenhuis (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel Bofill, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio: The Barcelogic SMT Solver. CAV 2008: 294-298
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio: Paramodulation and Knuth-Bendix Completion with Nontotal and Nonmonotonic Orderings. J. Autom. Reasoning 30(1): 99-120 (2003)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio: Modular Redundancy for Theorem Proving. FroCos 2000: 186-199
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMiquel Bofill, Guillem Godoy, Robert Nieuwenhuis, Albert Rubio: Paramodulation with Non-Monotonic Orderings. LICS 1999: 225-233

Selection of 5 from 82 records - Robert Nieuwenhuis has 37 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page