Your search returned the following 6 documents:

6. Fast Term Indexing with Coded Context Trees
   Harald Ganzinger, Robert Nieuwenhuis, and Pilar Nivela
   Journal of Automated Reasoning 32 (2): 103-120, 2004
   [PS: Download: 2003JAR.ps]
   
5. DPLL(T): Fast Decision Procedures
   Harald Ganzinger, George Hagen, Robert Nieuwenhuis, Albert Oliveras, and Cesare Tinelli
   In: Computer aided verification : 16th International Conference, CAV 2004, Boston, Massachusetts, 2004, 175-188
   
4. Completion Subsystem
   Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, and Fernando Orejas
   In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 1993, 460-494
   
3. Constraints and Theorem Proving
   Harald Ganzinger and Robert Nieuwenhuis
   In: Contraints in Computational Logics, International Summer School (CCL-99), Gif-sur-Yvette, France, 2001, 159-201
   [PS: Download: 2001CCL.ps.gz] [Download: 2001CCL.dvi]
   
2. Context trees
   Harald Ganzinger, Robert Nieuwenhuis, and Pilar Nivela
   In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, 2001, 242-256
   [PDF: Download: _01IJCAR-1.pdf]
   
1. On the Evaluation of Indexing Techniques for Theorem Proving
   Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, and Andrei Voronkov
   In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June, 18-22, 2001, 257-271
   [PS: Download: evaluation.ps]