Searching for authors named Robert Nieuwenhuis – sorted by Relevance.
-
A Survey of Some Recent Trends in Rewrite-Based and Paramodulation-Based Deduction
- ) Robert Nieuwenhuis ? Technical University of Catalonia, Dept. LSI, Jordi Girona 1, 08034 Barcelona
- Add To MetaCart
-
Decidability and Complexity Analysis by Basic Paramodulation
- 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)
- . Basic Paramodulation and Decidable Theories (Extended Abstract) Robert Nieuwenhuis Technical
- Cited by 5 (0 self) – Add To MetaCart
-
Rewrite-based Deduction and Symbolic Constraints
- Rewrite-based Deduction and Symbolic Constraints Robert Nieuwenhuis ? Technical University
- Cited by 6 (3 self) – Add To MetaCart
-
On Narrowing, Refutation Proofs and Constraints
- On Narrowing, Refutation Proofs and Constraints Robert Nieuwenhuis ? Technical University
- Cited by 9 (4 self) – Add To MetaCart
-
Simple LPO constraint solving methods
- 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
- 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
- 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
- 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
- Decision procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools ⋆ Robert
- Cited by 12 (1 self) – Add To MetaCart

