MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Robert Nieuwenhuis – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

52 documents found, showing 1 through 10. Next 10 →

ATOM

A Survey of Some Recent Trends in Rewrite-Based and Paramodulation-Based Deduction
by Robert Nieuwenhuis
…) Robert Nieuwenhuis ? Technical University of Catalonia, Dept. LSI, Jordi Girona 1, 08034 Barcelona…
Add To MetaCart

Decidability and Complexity Analysis by Basic Paramodulation
by Robert Nieuwenhuis, Robert Nieuwenhuis — 1998
…Decidability and Complexity Analysis by Basic Paramodulation Robert Nieuwenhuis Technical…
Cited by 11 (7 self) – Add To MetaCart

Basic Paramodulation and Decidable Theories (Extended Abstract)
by Robert Nieuwenhuis — 1996 — in `Proceedings 11th IEEE Symposium on Logic in Computer Science, LICS'96', IEEE Computer
…. Basic Paramodulation and Decidable Theories (Extended Abstract) Robert Nieuwenhuis Technical…
Cited by 5 (0 self) – Add To MetaCart

Rewrite-based Deduction and Symbolic Constraints
by Robert Nieuwenhuis — 1997 — In Proceedings of the 16th International Conference on Automated Deduction, volume 1632 of LNAI
…Rewrite-based Deduction and Symbolic Constraints Robert Nieuwenhuis ? Technical University…
Cited by 6 (3 self) – Add To MetaCart

On Narrowing, Refutation Proofs and Constraints
by Robert Nieuwenhuis — 1995 — Rewriting Techniques and Applications, 6th International Conferenc e, RTA-95, LNCS 914
…On Narrowing, Refutation Proofs and Constraints Robert Nieuwenhuis ? Technical University…
Cited by 9 (4 self) – Add To MetaCart

Simple LPO constraint solving methods
by Robert Nieuwenhuis — 1993 — Information Processing Letters
…Simple LPO constraint solving methods Robert Nieuwenhuis Technical University of Catalonia Pau…
Cited by 37 (10 self) – Add To MetaCart

SPAIN: Search spaces and Proofs Analyzed INdependently
by Moises Gomez, Robert Nieuwenhuis
…SPAIN: Search spaces and Proofs Analyzed INdependently Moise's G'omez and Robert Nieuwenhuis…
Add To MetaCart

Union-Find and Congruence Closure Algorithms that Produce Proofs
by Robert Nieuwenhuis, Albert Oliveras — 2004 — 2nd International Workshop on Pragmatics of Decision Procedures in Automated Reasoning
…PDPAR 2004 Union-Find and Congruence Closure Algorithms that Produce Proofs Robert Nieuwenhuis…
Cited by 2 (0 self) – Add To MetaCart

Congruence Closure with Integer Offsets
by Robert Nieuwenhuis, Albert Oliveras — 2003 — Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003
…Congruence Closure with Integer Offsets Robert Nieuwenhuis and Albert Oliveras ? Technical…
Cited by 18 (3 self) – Add To MetaCart

Decision procedures for sat, sat modulo theories and beyond. the barcelogictools
by Robert Nieuwenhuis, Albert Oliveras — 2005 — In LPAR’05, LNCS 3835
…Decision procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools ⋆ Robert…
Cited by 12 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB