Evgenii Kotelnikov

Identifiers

• name variant Evgenii Kotelnikov 0.60 · backfill

Papers (2)

1. The Vampire and the FOOL cs.LO · 2015 · author #1
2. A First Class Boolean Sort in First-Order Theorem Proving and TPTP cs.LO · 2015 · author #1

Mentions

• 1510.04821 #1 · backfill · confidence 0.70 Evgenii Kotelnikov
• 1505.01682 #1 · backfill · confidence 0.70 Evgenii Kotelnikov

Frequent Coauthors

• Andrei Voronkov 2 shared papers
• Laura Kov\'acs 2 shared papers
• Giles Reger 1 shared papers