Krystof Hoder

14 papers A* 1A 6B 2Misc 1Journal 1Unranked 2
YearRankTypeTitle / Venue / Authors
2016 A conf
Selecting the Selection.
IJCAR
Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov
2016 J jnl
Selecting the Selection.
CoRR
Giles Reger, Martin Suda, Andrei Voronkov, Krystof Hoder
2013 A conf
The 481 Ways to Split a Clause and Deal with Propositional Variables.
CADE
Krystof Hoder, Andrei Voronkov
2012 A conf
Generalized Property Directed Reachability.
SAT
Krystof Hoder, Nikolaj S. Bjørner
2012 A* conf
Playing in the grey area of proofs.
POPL
Krystof Hoder, Laura Kovács, Andrei Voronkov
2012 — —
Practical aspects of automated first-order reasoning.
Krystof Hoder
2012 B conf
Preprocessing techniques for first-order clausification.
FMCAD
Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov
2012 B conf
Vinter: A Vampire-Based Tool for Interpolation.
APLAS
Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov
2011 — conf
Case Studies on Invariant Generation Using a Saturation Theorem Prover.
MICAI (1)
Krystof Hoder, Laura Kovács, Andrei Voronkov
2011 A conf
Invariant Generation in Vampire.
TACAS
Krystof Hoder, Laura Kovács, Andrei Voronkov
2011 A conf
Sine Qua Non for Large Theory Reasoning.
CADE
Krystof Hoder, Andrei Voronkov
2010 — conf
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library.
ICMS
Josef Urban, Krystof Hoder, Andrei Voronkov
2010 A conf
Interpolation and Symbol Elimination in Vampire.
IJCAR
Krystof Hoder, Laura Kovács, Andrei Voronkov
2009 Misc conf
Comparing Unification Algorithms in First-Order Theorem Proving.
KI
Krystof Hoder, Andrei Voronkov