Keyword:Avatar

Publications
Teaching English and Science to the Deaf Students Afnan Zafar, Hira Gull, Uzma Farooq, Mohd Shafry Mohd Rahim and Adnan Abid EasyChair Preprint 6722
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning Giles Reger, Martin Suda and Andrei Voronkov EasyChair Preprint 1
Integrating Answer Literals with AVATAR for Program Synthesis Petra Hozzová In:Proceedings of the 7th and 8th Vampire Workshop
Local proofs and AVATAR Giles Reger and Martin Suda In:Vampire 2017. Proceedings of the 4th Vampire Workshop
The Uses of SAT Solvers in Vampire Giles Reger and Martin Suda 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
SAT solving experiments in Vampire Armin Biere, Ioan Dragan, Laura Kovács and Andrei Voronkov In:Proceedings of the 1st and 2nd Vampire Workshops