BibSonomy :: author  ::

bookmarks

publications

(236)

• The Barcelogic SMT Solver.
  Miquel Bofill and Robert Nieuwenhuis and Albert Oliveras and Enric Rodríguez-Carbonell and Albert Rubio CAV 294-298 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• The death of motoring? : Car making and automobility in the 21st century
  {Paul} Nieuwenhuis and {Peter} Wells (1997)
  to Kraftfahrzeugindustrie Kraftfahrzeugtechnik by fbw on 2008-05-29 13:24:55
  | URL | BibTeX  
• The automotive industry and the environment : a technical, business and social future
  {Paul} Nieuwenhuis and {Peter} Wells (2003)
  to Kraftfahrzeugindustrie Marktanpassung Nachhaltigkeit by fbw on 2008-05-29 13:01:59
  | URL | BibTeX  
• From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.
  Silvio Ghilardi and Silvio Ranise and Enrica Nicolini and Daniele Zucchelli Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• 07401 Abstracts Collection -- Deduction and Decision Procedures.
  Franz Baader and Byron Cook and Jürgen Giesl and Robert Nieuwenhuis Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Local Theory Extensions, Hierarchical Reasoning and Applications to Verification.
  Viorica Sofronie-Stokkermans and Carsten Ihlemann and Swen Jacobs Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• 07401 Executive Summary -- Deduction and Decision Procedures.
  Franz Baader and Byron Cook and Jürgen Giesl and Robert Nieuwenhuis Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Decision Procedures for Loop Detection.
  René Thiemann and Jürgen Giesl and Peter Schneider-Kamp Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Implementing RPO and POLO using SAT.
  Peter Schneider-Kamp and Carsten Fuhs and René Thiemann and Jürgen Giesl and Elena Annov and Michael Codish and Aart Middeldorp and Harald Zankl Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Termination of Programs using Term Rewriting and SAT Solving.
  Jürgen Giesl and Peter Schneider-Kamp and René Thiemann and Stephan Swiderski and Manh Thang Nguyen and Danny De Schreye and Alexander Serebrenik Deduction and Decision Procedures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX