Search the dblp DataBase

Publications of Author

1. Ullrich Hustadt, Boris Konev, Alexandre Riazanov, Andrei Voronkov
   TeMP: A Temporal Monodic Prover. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:326-330 [Conf]
   
2. Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov
   On the Evaluation of Indexing Techniques for Theorem Proving. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2001, pp:257-271 [Conf]
   
3. Alexandre Riazanov, Andrei Voronkov
   Vampire 1.1 (System Description). [Citation Graph (0, 0)][DBLP]
   IJCAR, 2001, pp:376-380 [Conf]
   
4. Alexandre Riazanov, Andrei Voronkov
   Efficient Instance Retrieval with Standard and Relational Path Indexing. [Citation Graph (0, 0)][DBLP]
   CADE, 2003, pp:380-396 [Conf]
   
5. Alexandre Riazanov, Andrei Voronkov
   Efficient Checking of Term Ordering Constraints. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:60-74 [Conf]
   
6. Alexandre Riazanov, Andrei Voronkov
   Vampire. [Citation Graph (0, 0)][DBLP]
   CADE, 1999, pp:292-296 [Conf]
   
7. Alexandre Riazanov, Andrei Voronkov
   Adaptive Saturation-Based Reasoning. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2001, pp:95-108 [Conf]
   
8. Alexandre Riazanov, Andrei Voronkov
   Splitting Without Backtracking. [Citation Graph (0, 0)][DBLP]
   IJCAI, 2001, pp:611-617 [Conf]
   
9. Alexandre Riazanov, Andrei Voronkov
   Partially Adaptive Code Trees. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:209-223 [Conf]
   
10. Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks
    Using Vampire to Reason with OWL. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2004, pp:471-485 [Conf]
    
11. Alexandre Riazanov, Andrei Voronkov
    The design and implementation of VAMPIRE. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2002, v:15, n:2-3, pp:91-110 [Journal]
    
12. Alexandre Riazanov, Andrei Voronkov
    Efficient instance retrieval with standard and relational path indexing. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:199, n:1-2, pp:228-252 [Journal]
    
13. Alexandre Riazanov, Andrei Voronkov
    Limited resource strategy in resolution theorem proving. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2003, v:36, n:1-2, pp:101-115 [Journal]
    
14. 
    New Implementation Framework for Saturation-Based Reasoning [Citation Graph (, )][DBLP]
    
    
15. 
    Resolution-based Query Answering for Semantic Access to Relational Databases: A Research Note [Citation Graph (, )][DBLP]