Travelled to:
1 × Ireland
1 × USA
2 × Italy
Collaborated with:
A.Voronkov U.Hustadt B.Konev R.Nieuwenhuis T.Hillenbrand
Talks about:
vampir (2) effici (2) index (2) constraint (1) techniqu (1) standard (1) theorem (1) retriev (1) instanc (1) tempor (1)
Person: Alexandre Riazanov
DBLP: Riazanov:Alexandre
Contributed to:
Wrote 6 papers:
- IJCAR-2004-HustadtKRV #named #proving
- TeMP: A Temporal Monodic Prover (UH, BK, AR, AV), pp. 326–330.
- IJCAR-2004-RiazanovV #constraints #performance
- Efficient Checking of Term Ordering Constraints (AR, AV), pp. 60–74.
- CADE-2003-RiazanovV #performance #relational #retrieval #standard
- Efficient Instance Retrieval with Standard and Relational Path Indexing (AR, AV), pp. 380–396.
- IJCAR-2001-NieuwenhuisHRV #evaluation #on the #proving #theorem proving
- On the Evaluation of Indexing Techniques for Theorem Proving (RN, TH, AR, AV), pp. 257–271.
- IJCAR-2001-RiazanovV
- Vampire 1.1 (AR, AV), pp. 376–380.
- CADE-1999-RiazanovV
- Vampire (AR, AV), pp. 292–296.