HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.