Giles Reger

Identifiers

• name variant Giles Reger 0.60 · backfill

Papers (4)

1. Testing a Saturation-Based Theorem Prover: Experiences and Challenges (Extended Version) cs.LO · 2017 · author #1
2. Selecting the Selection cs.AI · 2016 · author #1
3. Finding Finite Models in Multi-Sorted First Order Logic cs.LO · 2016 · author #1
4. The Vampire and the FOOL cs.LO · 2015 · author #3

Mentions

• 1510.04821 #3 · backfill · confidence 0.70 Giles Reger

Frequent Coauthors

• Andrei Voronkov 4 shared papers
• Martin Suda 3 shared papers
• Evgenii Kotelnikov 1 shared papers
• Krystof Hoder 1 shared papers
• Laura Kov\'acs 1 shared papers