( en | de | ru )

 

Disambiguation of "Voronkov, Andrei"

Author of the publication

copydeleteadd this publication to your clipboard
SAT solving experiments in Vampire.

, , , and . Vampire Workshop, volume 38 of EPiC Series in Computing, page 29-32. EasyChair, (2014)

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.

Andrei Lehmann

Andrei Negoescu

Andrei Belitski

Andrei Munk

Andrei Verbovsky

 

Other publications of authors with the same name

Preface., and . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)Merging Relational Database Technology with Constraint Technology.. Ershov Memorial Conference, volume 1181 of Lecture Notes in Computer Science, page 409-419. Springer, (1996)Equality Elimination for the Tableau Method., and . DISCO, volume 1128 of Lecture Notes in Computer Science, page 46-60. Springer, (1996)Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture)., and . CSL, volume 2803 of Lecture Notes in Computer Science, page 546-573. Springer, (2003)Complexity of Some Problems in Modal and Intuitionistic Calculi., and . CSL, volume 2803 of Lecture Notes in Computer Science, page 397-412. Springer, (2003)Upper Bounds for a Theory of Queues., and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 714-724. Springer, (2003)Vampire 1.1 (System Description)., and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 376-380. Springer, (2001)Vampire., and . CADE, volume 1632 of Lecture Notes in Computer Science, page 292-296. Springer, (1999)Theorem Proving in Non-Standard Logics Based on the Inverse Method.. CADE, volume 607 of Lecture Notes in Computer Science, page 648-662. Springer, (1992)Keynote talk: EasyChair.. ASE, page 3-4. ACM, (2014)