PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hoder, Krystof"

Author of the publication

copydeleteadd this publication to your clipboard
Vinter: A Vampire-Based Tool for Interpolation.

, , , and . APLAS, volume 7705 of Lecture Notes in Computer Science, page 148-156. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Hoder, Krystof
add a person with the name Hoder, Krystof
 

Other publications of authors with the same name

Playing in the grey area of proofs., , and . POPL, page 259-272. ACM, (2012)Preprocessing techniques for first-order clausification., , , and . FMCAD, page 44-51. IEEE, (2012)Generalized Property Directed Reachability., and . SAT, volume 7317 of Lecture Notes in Computer Science, page 157-171. Springer, (2012)Evaluation of Automated Theorem Proving on the Mizar Mathematical Library., , and . ICMS, volume 6327 of Lecture Notes in Computer Science, page 155-166. Springer, (2010)The 481 Ways to Split a Clause and Deal with Propositional Variables., and . CADE, volume 7898 of Lecture Notes in Computer Science, page 450-464. Springer, (2013)Sine Qua Non for Large Theory Reasoning., and . CADE, volume 6803 of Lecture Notes in Computer Science, page 299-314. Springer, (2011)Interpolation and Symbol Elimination in Vampire., , and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 188-195. Springer, (2010)Invariant Generation in Vampire., , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 60-64. Springer, (2011)Selecting the Selection., , , and . IJCAR, volume 9706 of Lecture Notes in Computer Science, page 313-329. Springer, (2016)Practical aspects of automated first-order reasoning.. University of Manchester, UK, (2012)British Library, EThOS.