| Generalized property directed reachability K Hoder, N Bjørner International Conference on Theory and Applications of Satisfiability …, 2012 | 338 | 2012 |
| Sine qua non for large theory reasoning K Hoder, A Voronkov International Conference on Automated Deduction, 299-314, 2011 | 197 | 2011 |
| μ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 | 148 | 2011 |
| Selecting the selection K Hoder, G Reger, M Suda, A Voronkov International Joint Conference on Automated Reasoning, 313-329, 2016 | 57 | 2016 |
| Invariant generation in vampire K Hoder, L Kovács, A Voronkov International Conference on Tools and Algorithms for the Construction and …, 2011 | 52 | 2011 |
| Interpolation and symbol elimination in Vampire K Hoder, L Kovács, A Voronkov Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 52 | 2010 |
| Evaluation of automated theorem proving on the Mizar Mathematical Library J Urban, K Hoder, A Voronkov International congress on mathematical software, 155-166, 2010 | 49 | 2010 |
| Comparing unification algorithms in first-order theorem proving K Hoder, A Voronkov KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference …, 2009 | 49 | 2009 |
| Playing in the Grey Area of Proofs K Hoder, L Kovács, A Voronkov POPL 2012, 2012 | 41 | 2012 |
| Preprocessing Techniques for First-Order Clausification K Hoder, Z Khasidashvili, K Korovin, A Voronkov FMCAD 2012, 2012 | 26 | 2012 |
| The 481 ways to split a clause and deal with propositional variables K Hoder, A Voronkov International Conference on Automated Deduction, 450-464, 2013 | 22 | 2013 |
| 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 | 22 | 2011 |
| 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 | 12 | 2012 |
| Automated reasoning in large knowledge bases K Hoder Master's thesis, Department of Theoretical Computer Science and Mathematical …, 2008 | 9 | 2008 |
| 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, ... Springer, 2010 | | 2010 |
| The Guide for Writing Word Documents in Microsoft Word for EasyChair Publications A Voronkov, K Hoder | | |
Leonardo de MouraAmazon Web ServicesE-mail confirmado em amazon.com