Andrei Voronkov

Identifiers

• name variant Andrei Voronkov 0.60 · backfill

Papers (7)

1. Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version) cs.LO · 2017 · author #3
2. Coming to Terms with Quantified Reasoning cs.LO · 2016 · author #3
3. Selecting the Selection cs.AI · 2016 · author #3
4. Finding Finite Models in Multi-Sorted First Order Logic cs.LO · 2016 · author #3
5. The Vampire and the FOOL cs.LO · 2015 · author #4
6. A First Class Boolean Sort in First-Order Theorem Proving and TPTP cs.LO · 2015 · author #3
7. Knuth-Bendix constraint solving is NP-complete cs.LO · 2002 · author #2

Mentions

• 1510.04821 #4 · backfill · confidence 0.70 Andrei Voronkov
• 1505.01682 #3 · backfill · confidence 0.70 Andrei Voronkov

Frequent Coauthors

• Giles Reger 4 shared papers
• Martin Suda 3 shared papers
• Evgenii Kotelnikov 2 shared papers
• Laura Kov\'acs 2 shared papers
• Konstantin Korovin 1 shared papers
• Krystof Hoder 1 shared papers
• Laura Kovacs 1 shared papers
• Simon Robillard 1 shared papers