Krystof Hoder

According to our database, Krystof Hoder authored at least 14 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Selecting the Selection.

Krystof Hoder, Giles Reger, Martin Suda, Andrei Voronkov

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2013

The 481 Ways to Split a Clause and Deal with Propositional Variables.

Krystof Hoder, Andrei Voronkov

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Practical aspects of automated first-order reasoning.

Krystof Hoder

PhD thesis, 2012

Generalized Property Directed Reachability.

Krystof Hoder, Nikolaj S. Bjørner

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Playing in the grey area of proofs.

Krystof Hoder, Laura Kovács, Andrei Voronkov

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Preprocessing techniques for first-order clausification.

Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Vinter: A Vampire-Based Tool for Interpolation.

Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Invariant Generation in Vampire.

Krystof Hoder, Laura Kovács, Andrei Voronkov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Case Studies on Invariant Generation Using a Saturation Theorem Prover.

Krystof Hoder, Laura Kovács, Andrei Voronkov

Proceedings of the Advances in Artificial Intelligence, 2011

<i>μZ</i>- An Efficient Engine for Fixed Points with Constraints.

Krystof Hoder, Nikolaj S. Bjørner, Leonardo Mendonça de Moura

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Sine Qua Non for Large Theory Reasoning.

Krystof Hoder, Andrei Voronkov

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

Evaluation of Automated Theorem Proving on the Mizar Mathematical Library.

Josef Urban, Krystof Hoder, Andrei Voronkov

Proceedings of the Mathematical Software, 2010

Interpolation and Symbol Elimination in Vampire.

Krystof Hoder, Laura Kovács, Andrei Voronkov

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

Comparing Unification Algorithms in First-Order Theorem Proving.

Krystof Hoder, Andrei Voronkov

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009