 | 2012 |
|---|
| 8 |       | Krystof Hoder,
Laura Kovács,
Andrei Voronkov:
Playing in the grey area of proofs.
POPL 2012: 259-272 |
| 2011 |
|---|
| 7 | | Krystof Hoder,
Andrei Voronkov:
Sine Qua Non for Large Theory Reasoning.
CADE 2011: 299-314 |
| 6 | | Krystof Hoder,
Nikolaj Bjørner,
Leonardo Mendonça de Moura:
μZ- An Efficient Engine for Fixed Points with Constraints.
CAV 2011: 457-462 |
| 5 | | Krystof Hoder,
Laura Kovács,
Andrei Voronkov:
Case Studies on Invariant Generation Using a Saturation Theorem Prover.
MICAI (1) 2011: 1-15 |
| 4 | | Krystof Hoder,
Laura Kovács,
Andrei Voronkov:
Invariant Generation in Vampire.
TACAS 2011: 60-64 |
| 2010 |
|---|
| 3 | | Josef Urban,
Krystof Hoder,
Andrei Voronkov:
Evaluation of Automated Theorem Proving on the Mizar Mathematical Library.
ICMS 2010: 155-166 |
| 2 | | Krystof Hoder,
Laura Kovács,
Andrei Voronkov:
Interpolation and Symbol Elimination in Vampire.
IJCAR 2010: 188-195 |
| 2009 |
|---|
| 1 | | Krystof Hoder,
Andrei Voronkov:
Comparing Unification Algorithms in First-Order Theorem Proving.
KI 2009: 435-443 |
Data released under the ODC-BY 1.0 license — See also our legal information page