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
On the Evaluation of Indexing Techniques for Theorem Proving.

, , , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 257-271. Springer, (2001)

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

 

Other publications of authors with the same name

Orienting Equalities with the Knuth-Bendix Order., and . LICS, page 75-. IEEE Computer Society, (2003)Deciding K using inverse-K.. KR, page 198-209. Morgan Kaufmann, (2000)Coming to Terms with Quantified Reasoning., , and . CoRR, (2016)Merging Relational Database Technology with Constraint Technology.. Ershov Memorial Conference, volume 1181 of Lecture Notes in Computer Science, page 409-419. Springer, (1996)Preface., and . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking., and . CAV, volume 2404 of Lecture Notes in Computer Science, page 386-400. Springer, (2002)Upper Bounds for a Theory of Queues., and . ICALP, volume 2719 of Lecture Notes in Computer Science, page 714-724. Springer, (2003)Solving Systems of Linear Inequalities by Bound Propagation., and . CADE, volume 6803 of Lecture Notes in Computer Science, page 369-383. Springer, (2011)Sine Qua Non for Large Theory Reasoning., and . CADE, volume 6803 of Lecture Notes in Computer Science, page 299-314. Springer, (2011)Vampire., and . CADE, volume 1632 of Lecture Notes in Computer Science, page 292-296. Springer, (1999)