Krystof Hoder
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2009–2016
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CADE | Selecting the Selection. | Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov |
| 2013 | CADE | The 481 Ways to Split a Clause and Deal with Propositional Variables. | Krystof Hoder, Andrei Voronkov |
| 2012 | APLAS | Vinter: A Vampire-Based Tool for Interpolation. | Krystof Hoder, Andreas Holzer, Laura Kovcs, Andrei Voronkov |
| 2012 | FMCAD | Preprocessing techniques for first-order clausification. | Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov |
| 2012 | POPL | Playing in the grey area of proofs. | Krystof Hoder, Laura Kovcs, Andrei Voronkov |
| 2012 | SAT | Generalized Property Directed Reachability. | Krystof Hoder, Nikolaj S. Bjrner |
| 2011 | CADE | Sine Qua Non for Large Theory Reasoning. | Krystof Hoder, Andrei Voronkov |
| 2011 | CAV | Untitled record | Krystof Hoder, Nikolaj S. Bjrner, Leonardo Mendona de Moura |
| 2011 | TACAS | Invariant Generation in Vampire. | Krystof Hoder, Laura Kovcs, Andrei Voronkov |
| 2010 | CADE | Interpolation and Symbol Elimination in Vampire. | Krystof Hoder, Laura Kovcs, Andrei Voronkov |
| 2009 | KI | Comparing Unification Algorithms in First-Order Theorem Proving. | Krystof Hoder, Andrei Voronkov |