Full name Familienname, Vorname
Voronkov, Andrei
 
Main Affiliation Organisations­zuordnung
 

Results 1-20 of 27 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012
2Reger, Giles ; Suda, Martin ; Voronkov, Andrei ; Beyer, Dirk ; Huisman, Marieke Unification with Abstraction and Theory Instantiation in Saturation-Based ReasoningKonferenzbeitrag Inproceedings 2018
3Kotelnikov, Evgenii ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei ; Avigad, Jeremy ; Chlipala, Adam The vampire and the FOOLKonferenzbeitrag Inproceedings 2016
4Kovács, Laura ; Mantsivoda, Andrei ; Voronkov, Andrei ; Castro, Felix ; Gelbukh, Alexander ; Gonzalez, Miguel The Inverse Method for Many-Valued LogicsKonferenzbeitrag Inproceedings2013
5Reger, Giles ; Suda, Martin ; Voronkov, Andrei Testing a Saturation-Based Theorem Prover: Experiences and ChallengesKonferenzbeitrag Inproceedings 2017
6Hoder, Kryštof ; Reger, Giles ; Suda, Martin ; Voronkov, Andrei Selecting the SelectionKonferenzbeitrag Inproceedings 2016
7Hoder, Krystof ; Kovacs, Laura ; Voronkov, Andrei ; Field, John ; Hicks, Michael Playing in the grey area of proofsKonferenzbeitrag Inproceedings 2012
8Kovacs, Laura ; Moser, Georg ; Voronkov, Andrei ; Bjorner, Nikolaj ; Sofronie-Stokkermans, Viorica On Transfinite Knuth-Bendix OrdersKonferenzbeitrag Inproceedings 2011
9Reger, Giles ; Suda, Martin ; Voronkov, Andrei New Techniques in Clausal Form GenerationKonferenzbeitrag Inproceedings 2016
10Hoder, Krystof ; Kovacs, Laura ; Voronkov, Andrei Invariant Generation in VampireKonferenzbeitrag Inproceedings 2011
11Hoder, Krystof ; Kovacs, Laura ; Voronkov, Andrei Interpolation and Symbol Elimination in VampireKonferenzbeitrag Inproceedings2010
12Hozzova-2021-Integer Induction in Saturation-am.pdf.jpgHozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Integer Induction in SaturationInproceedings Konferenzbeitrag 29-Jul-2021
13Hajdu-2021-Inductive Benchmarks for Automated Reasoning-am.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Schoisswohl, Johannes ; Voronkov, Andrei Inductive Benchmarks for Automated ReasoningInproceedings Konferenzbeitrag 12-Aug-2021
14Hajdu-2021-Induction with Recursive Definitions in Superposition-vor.pdf.jpgHajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei Induction with Recursive Definitions in SuperpositionKonferenzbeitrag Inproceedings Oct-2021
15Hajdu, Marton ; Hozzova, Petra ; Kovacs, Laura ; Voronkov, Andrei ; Piskac, Ruzica ; Wahlen, Mike Induction with Recursive Definitions in SuperpositionKonferenzbeitrag Inproceedings 2021
16Kovács, Laura ; Voronkov, Andrei ; Sharygina, Natasha ; Veith, Helmut First-Order Theorem Proving and VampireKonferenzbeitrag Inproceedings2013
17Kovacs, Laura ; Voronkov, Andrei First-Order Interpolation and Interpolating Proof SystemsKonferenzbeitrag Inproceedings 2017
18Reger, Giles ; Suda, Martin ; Voronkov, Andrei Finding Finite Models in Multi-sorted First-Order LogicKonferenzbeitrag Inproceedings 2016
19Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei ; Cassez, Franck ; Raskin, Jean-Francois Extensional Crisis and Proving IdentityKonferenzbeitrag Inproceedings 2014
20Biere, Armin ; Dragan, Ioan ; Kovács, Laura ; Voronkov, Andrei Experimenting with SAT Solvers in VampireKonferenzbeitrag Inproceedings2014

Results 1-20 of 22 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Kovacs, Laura ; Voronkov, Andrei Vampire 2017. Proceedings of the 4th Vampire WorkshopKonferenzband Proceedings2018
2Ciabattoni, Agata ; Fermüller, Christian ; Metcalfe, George ; Baader, Franz ; Voronkov, Andrei Uniform Rules and Dialogue Games for Fuzzy LogicsKonferenzbeitrag Inproceedings 2005
3Blanc, Régis ; Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Kenneth, McMillan ; Middeldorp, Aart ; Voronkov, Andrei Tree Interpolation in VampireKonferenzbeitrag Inproceedings 2013
4Savenkov, Vadim ; Pichler, Reinhard ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei Towards Practical Feasibility of Core Computation in Data ExchangeKonferenzbeitrag Inproceedings 2008
5Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Bjorner, Nikolaj ; Voronkov, Andrei Towards Algorithmic Cut-IntroductionKonferenzbeitrag Inproceedings2012
6Klinov, Pavel ; Parsia, Bijan ; Picado Muino, David ; Fermüller, Christian ; Voronkov, Andrei The consistency of Cadiag2's knowledge base: A probabilistic approachKonferenzbeitrag Inproceedings2010
7Eiter, Thomas ; Ortiz, Magdalena ; Šimkus, Mantas ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei Reasoning Using KnotsKonferenzbeitrag Inproceedings2008
8Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon ; Davis, Martin ; Fehnker, Ansgar ; McIver, Annabelle ; Voronkov, Andrei Reasoning About Loops Using Vampire in KeYKonferenzbeitrag Inproceedings 2015
9Zwirchmayr, Jakob ; Knoop, Jens ; Kovacs, Laura ; Bjorner, Nikolaj ; Voronkov, Andrei r-TuBound: Loop Bounds for WCET Analysis (Tool Paper)Konferenzbeitrag Inproceedings 2012
10Baaz, Matthias ; Sutcliffe, Geoff ; Voronkov, Andrei On interpolation in existence logicsKonferenzbeitrag Inproceedings2005
11Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans ; Baader, Franz ; Voronkov, Andrei Nonmonotonic Description Logic Programs: Implementation and ExperimentsKonferenzbeitrag Inproceedings 2005
12Baaz, Matthias ; Ciabattoni, Agata ; Fermüller, Christian ; Dershowitz, Nachum ; Voronkov, Andrei Monadic Fragments of Gödel Logics: Decidability and Undecidability ResultsKonferenzbeitrag Inproceedings 2007
13Ciabattoni, Agata ; Terui, Kazushige ; Hermann, Miki ; Voronkov, Andrei Modular cut-elimination: finding proofs or counterexamplesKonferenzbeitrag Inproceedings2006
14Fermüller, Christian ; Voronkov, Andrei Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings LPAR-17Konferenzband Proceedings2010
15Reger, Giles ; Suda, Martin ; Kovacs, Laura ; Voronkov, Andrei Local proofs and AVATARKonferenzbeitrag Inproceedings 2018
16Svenson, Ola ; Vorobyov, Sergei ; Virbitskaite, Irina ; Voronkov, Andrei Linear Complementarity and (P)-Matrices for Stochastic GamesKonferenzbeitrag Inproceedings 2007
17Eiter, Thomas ; Sands, David ; Sutcliffe, Geoff ; Voronkov, Andrei IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1Konferenzband Proceedings 2017
18Antoniou, Grigoris ; Eiter, Thomas ; Wang, Kewen ; Bjorner, Nikolaj ; Voronkov, Andrei Forgetting for Defeasible LogicKonferenzbeitrag Inproceedings 2012
19Simkus, Mantas ; Eiter, Thomas ; Dershowitz, Nachum ; Voronkov, Andrei FDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function SymbolsKonferenzbeitrag Inproceedings 2007
20Jakl, Michael ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Cervesato, Iliano ; Veith, Helmut ; Voronkov, Andrei Fast Counting with Bounded TreewidthKonferenzbeitrag Inproceedings2008