Krystof Hoder
Krystof Hoder
E-mail confirmado em google.com - Página inicial
Título
Citado por
Citado por
Ano
Generalized property directed reachability
K Hoder, N Bjørner
International Conference on Theory and Applications of Satisfiability …, 2012
2482012
Sine qua non for large theory reasoning
K Hoder, A Voronkov
International Conference on Automated Deduction, 299-314, 2011
1522011
μZ– An Efficient Engine for Fixed Points with Constraints
K Hoder, N Bjørner, L De Moura
International Conference on Computer Aided Verification, 457-462, 2011
1072011
Interpolation and symbol elimination in Vampire
K Hoder, L Kovács, A Voronkov
International Joint Conference on Automated Reasoning, 188-195, 2010
472010
Invariant generation in vampire
K Hoder, L Kovács, A Voronkov
International Conference on Tools and Algorithms for the Construction and …, 2011
402011
Evaluation of automated theorem proving on the Mizar Mathematical Library
J Urban, K Hoder, A Voronkov
International Congress on Mathematical Software, 155-166, 2010
402010
Selecting the selection
K Hoder, G Reger, M Suda, A Voronkov
International Joint Conference on Automated Reasoning, 313-329, 2016
382016
Playing in the Grey Area of Proofs
K Hoder, L Kovács, A Voronkov
POPL 2012, 2012
352012
Comparing unification algorithms in first-order theorem proving
K Hoder, A Voronkov
Annual Conference on Artificial Intelligence, 435-443, 2009
302009
Preprocessing Techniques for First-Order Clausification
K Hoder, Z Khasidashvili, K Korovin, A Voronkov
FMCAD 2012, 2012
192012
The 481 ways to split a clause and deal with propositional variables
K Hoder, A Voronkov
International Conference on Automated Deduction, 450-464, 2013
182013
Case studies on invariant generation using a saturation theorem prover
K Hoder, L Kovács, A Voronkov
Mexican International Conference on Artificial Intelligence, 1-15, 2011
172011
Automated reasoning in large knowledge bases
K Hoder
Master's thesis, Charles University, 2008
82008
Vinter: A Vampire-Based Tool for Interpolation
K Hoder, A Holzer, L Kovács, A Voronkov
APLAS 2012, 2012
62012
Selecting the Selection
G Reger, M Suda, A Voronkov, K Hoder
arXiv preprint arXiv:1604.08055, 2016
2016
The Design and Implementation of the Model Constructing Satisfiability Calculus
L de Moura, G Passmore, K Hoder, L de Moura, L de Moura, M Veanes, ...
Proceedings of 13th International Conference on Formal Methods 5195, 410-425, 2013
2013
Practical aspects of automated first-order reasoning
K Hoder
PQDT-UK & Ireland, 2012
2012
The Guide for Writing Word Documents in Microsoft Word for EasyChair Publications
A Voronkov, K Hoder
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–18