关注
Krystof Hoder
Krystof Hoder
在 google.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Generalized property directed reachability
K Hoder, N Bjørner
International Conference on Theory and Applications of Satisfiability …, 2012
3292012
Sine qua non for large theory reasoning
K Hoder, A Voronkov
International Conference on Automated Deduction, 299-314, 2011
1902011
μZ– An Efficient Engine for Fixed Points with Constraints
K Hoder, N Bjørner, L De Moura
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
1432011
Selecting the selection
K Hoder, G Reger, M Suda, A Voronkov
International Joint Conference on Automated Reasoning, 313-329, 2016
562016
Interpolation and symbol elimination in Vampire
K Hoder, L Kovács, A Voronkov
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010
522010
Invariant generation in vampire
K Hoder, L Kovács, A Voronkov
International Conference on Tools and Algorithms for the Construction and …, 2011
482011
Evaluation of automated theorem proving on the Mizar Mathematical Library
J Urban, K Hoder, A Voronkov
International congress on mathematical software, 155-166, 2010
452010
Comparing unification algorithms in first-order theorem proving
K Hoder, A Voronkov
KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference …, 2009
452009
Playing in the Grey Area of Proofs
K Hoder, L Kovács, A Voronkov
POPL 2012, 2012
402012
Preprocessing Techniques for First-Order Clausification
K Hoder, Z Khasidashvili, K Korovin, A Voronkov
FMCAD 2012, 2012
242012
The 481 ways to split a clause and deal with propositional variables
K Hoder, A Voronkov
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
222013
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
212011
Templates
A Voronkov, K Hoder
EasyChair,[Online]. Available: https://easychair. org/proceedings/template. cgi, 0
13
Vinter: A Vampire-Based Tool for Interpolation
K Hoder, A Holzer, L Kovács, A Voronkov
APLAS 2012, 2012
122012
Automated reasoning in large knowledge bases
K Hoder
Master's thesis, Charles University, 2008
82008
Selecting the Selection
G Reger, M Suda, A Voronkov, K Hoder
arXiv preprint arXiv:1604.08055, 2016
2016
Practical aspects of automated first-order reasoning
K Hoder
PQDT-UK & Ireland, 2012
2012
First-order theorem proving and Vampire
K Hoder, L Kovacs, A Voronkov
2011
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library
K Fukuda, JG van der Hoeven, M Joswig, N Takayama, J Urban, K Hoder, ...
Berlin: Springer, 2010
2010
The Guide for Writing Word Documents in Microsoft Word for EasyChair Publications
A Voronkov, K Hoder
系统目前无法执行此操作,请稍后再试。
文章 1–20