Search results for: Andrei Voronkov
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 137-153
Lecture Notes in Computer Science > Automated Reasoning > Algorithms, Datastructures, and other Issues in Efficient Automated Deduction > 13-28
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 312-329
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 3-3
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2009 > Research Track Papers > 509-523
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Automated Reasoning > On the Evaluation of Indexing Techniques for Theorem Proving > 257-271
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 220-236
Lecture Notes in Computer Science > KI 2009: Advances in Artificial Intelligence > Automated Reasoning > 435-443
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Program Analysis > 307-321