Author:Andrei Voronkov

Publications
Andrei Voronkov (editors)

Keyphrases

automated reasoning2, automated theorem proving, Avatar2, Clausal Normal Form, clause normal form, Clausification, conference management, easychair, first-order logic2, first-order theorem proving, FOOL, interpolation, Resolution Calculus, SAT solving, Satisfiability Modulo Theories, Saturation Algorithms, superposition, theorem proving3, translation, Vampire3, Web Services, Z3.