Keyword:Avatar

Papers
Teaching English and Science to the Deaf Students Afnan Zafar, Hira Gull, Uzma Farooq, Mohd Shafry Mohd Rahim and Adnan Abid EasyChair Preprint no. 6722
Local proofs and AVATAR Giles Reger and Martin Suda In:Vampire 2017. Proceedings of the 4th Vampire Workshop
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning Giles Reger, Martin Suda and Andrei Voronkov EasyChair Preprint no. 1
SAT solving experiments in Vampire Armin Biere, Ioan Dragan, Laura Kovács and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops
The Challenges of Evaluating a New Feature in Vampire Giles Reger, Martin Suda and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops
The Uses of SAT Solvers in Vampire Giles Reger and Martin Suda In:Proceedings of the 1st and 2nd Vampire Workshops