Author:Giles Reger

Publications
RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools Giles Reger and Klaus Havelund (editors) Kalpa Publications in Computing, volume 3
A Report of RV-CuBES 2017 Giles Reger In:RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools
Checkable Proofs for First-Order Theorem Proving Giles Reger and Martin Suda In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements Giles Reger and Dmitriy Traytel (editors) EPiC Series in Computing, volume 51
A Report of ARCADE 2017 Giles Reger and Dmitriy Traytel In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning Giles Reger, Martin Suda and Andrei Voronkov EasyChair Preprint no. 1
Set of Support for Theory Reasoning Giles Reger and Martin Suda In:IWIL Workshop and LPAR Short Presentations
Global Subsumption Revisited (Briefly) Giles Reger and Martin Suda In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
Better Proof Output for Vampire Giles Reger In:Vampire 2016. Proceedings of the 3rd Vampire Workshop
New Techniques in Clausal Form Generation Giles Reger, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
AVATAR Modulo Theories Giles Reger, Nikolaj Bjorner, Martin Suda and Andrei Voronkov In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
The Challenges of Evaluating a New Feature in Vampire Giles Reger, Martin Suda and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops
The Uses of SAT Solvers in Vampire Giles Reger and Martin Suda In:Proceedings of the 1st and 2nd Vampire Workshops

Keyphrases

automated reasoning³, automated theorem proving, Avatar³, AVATAR architecture, Clausal Normal Form, Clausification, first-order logic⁶, first-order theorem proving, proof checking, proof output, Satisfiability Modulo Theories², Saturation Algorithms², SMT, SMT solving, superposition calculus, theorem proving⁶, theory reasoning, Vampire⁶, Z3.