PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Voronkov, Andrei"

Author of the publication

copydeleteadd this publication to your clipboard
Experimenting with SAT Solvers in Vampire.

, , , and . MICAI (1), volume 8856 of Lecture Notes in Computer Science, page 431-442. Springer, (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-Marian Manolache University of Stuttgart

Radu Andrei Matei University of Stuttgart

 

Other publications of authors with the same name

Efficient instance retrieval with standard and relational path indexing., and . Inf. Comput., 199 (1-2): 228-252 (2005)Term-Modal Logics., , and . Studia Logica, 69 (1): 133-169 (2001)Deciding K using inverse-K.. KR, page 198-209. Morgan Kaufmann, (2000)Orienting Equalities with the Knuth-Bendix Order., and . LICS, page 75-. IEEE Computer Society, (2003)Monadic Simultaneous Rigid E-unification., and . Theor. Comput. Sci., 222 (1-2): 133-152 (1999)Coming to Terms with Quantified Reasoning., , and . CoRR, (2016)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)Equality Elimination for the Tableau Method., and . DISCO, volume 1128 of Lecture Notes in Computer Science, page 46-60. Springer, (1996)The Decidability of Simultaneous Rigid E-Unification with One Variable., , , , and . RTA, volume 1379 of Lecture Notes in Computer Science, page 181-195. Springer, (1998)