Krystof Hoder

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 2

Top Venues

CoRR

SAT

POPL

FMCAD

University of Manchester, UK (PHD)

Education History

University of Manchester, UK

PHD

Publications

Giles Reger, Martin Suda, Andrei Voronkov, Krystof Hoder
Selecting the Selection. CoRR (2016)
Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov
Selecting the Selection. IJCAR (2016)
Krystof Hoder, Andrei Voronkov
The 481 Ways to Split a Clause and Deal with Propositional Variables. CADE (2013)
Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov
Vinter: A Vampire-Based Tool for Interpolation. APLAS (2012)
Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov
Preprocessing techniques for first-order clausification. FMCAD (2012)
Krystof Hoder, Nikolaj Bjørner
Generalized Property Directed Reachability. SAT (2012)
Krystof Hoder, Laura Kovács, Andrei Voronkov
Playing in the grey area of proofs. POPL (2012)
Krystof Hoder, Andrei Voronkov
Sine Qua Non for Large Theory Reasoning. CADE (2011)
Krystof Hoder, Laura Kovács, Andrei Voronkov
Invariant Generation in Vampire. TACAS (2011)
Krystof Hoder, Nikolaj Bjørner, Leonardo Mendonça de Moura
- An Efficient Engine for Fixed Points with Constraints. CAV (2011)
Krystof Hoder, Laura Kovács, Andrei Voronkov
Case Studies on Invariant Generation Using a Saturation Theorem Prover. MICAI (1) (2011)
Josef Urban, Krystof Hoder, Andrei Voronkov
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library. ICMS (2010)
Krystof Hoder, Laura Kovács, Andrei Voronkov
Interpolation and Symbol Elimination in Vampire. IJCAR (2010)
Krystof Hoder, Andrei Voronkov
Comparing Unification Algorithms in First-Order Theorem Proving. KI (2009)

Krystof Hoder.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Krystof Hoder