Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Nieuwenhuis, Robert"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Hard problems in max-algebra, control theory, hypergraphs and other areas
Marc Bezem
,
Robert Nieuwenhuis
,
Enric RodrÃguez-Carbonell
Information Processing Letters
110
(4), 2010, pp. 133-138
Fast congruence closure and extensions
Robert Nieuwenhuis
,
Albert Oliveras
Information and Computation
205
(4), 2007, pp. 557-580
Solving SAT and SAT Modulo Theories: From an abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL
(T)
Robert Nieuwenhuis
,
Albert Oliveras
,
Cesare Tinelli
Journal of the ACM
53
(6), 2006, pp. 937-977
Superposition with completely built-in Abelian groups
Guillem Godoy
,
Robert Nieuwenhuis
Journal Symbolic Computation
37
(1), 2004, pp. 1-33
Superposition with completely built-in Abelian groups
Guillem Godoy
,
Robert Nieuwenhuis
Journal Symbolic Computation
37
(1), 2004, pp. 1-33
Stratified resolution
Anatoli Degtyarev
,
Robert Nieuwenhuis
,
Andrei Voronkov
Journal Symbolic Computation
36
(1-2), 2003, pp. 79-99
Practical algorithms for deciding path ordering constraint satisfaction
Robert Nieuwenhuis
,
José Miguel Rivero
Information and Computation
178
(2), 2002, pp. 422-440
Induction =
I
-axiomatization + first-order consistency
Hubert Comon
,
Robert Nieuwenhuis
Information and Computation
159
(1-2), 2000, pp. 151-186
Decidability and complexity analysis by basic paramodulation
Robert Nieuwenhuis
Information and Computation
147
(1), 1998, pp. 1-21
Paramodulation with built-in AC-theories and symbolic constraints
Robert Nieuwenhuis
,
Albert Rubio
Journal Symbolic Computation
23
(1), 1997, pp. 1-21
Theorem proving with ordering and equality constrained clauses
Robert Nieuwenhuis
,
Albert Rubio
Journal Symbolic Computation
19
(4), 1995, pp. 321-351
A total AC-compatible ordering based on RPO
Albert Rubio
,
Robert Nieuwenhuis
Theoretical Computer Science
142
(2), 1995, pp. 209-227
Simple LPO constraint solving methods
Robert Nieuwenhuis
Information Processing Letters
47
(2), 1993, pp. 65-69
Efficient deduction in equality Horn logic by Horn-completion
Robert Nieuwenhuis
,
Pilar Nivela
Information Processing Letters
39
, 1991, pp. 1-6