Keyword:superposition

Papers
Program Synthesis in Saturation Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov EasyChair Preprint no. 10223
The Vampire Approach to Induction Márton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint no. 9217
Parallelism Evaluation of Quantum Computing Comparing with Classical Computation Systems Mohammed Hamada and Mohammed Mikki EasyChair Preprint no. 5911
The Future of Quantum Computer Vikas Tiwari and Sonia Dubey EasyChair Preprint no. 4958
Self-Adapting Algorithms of the Control System Romans Djakons, Irina Kazina and Rostislav Kopitov EasyChair Preprint no. 4366
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations (Technical Report) Ahmed Bhayat and Giles Reger EasyChair Preprint no. 3191
An Inference Rule for the Acyclicity Property of Term Algebras Simon Robillard In:Vampire 2017. Proceedings of the 4th Vampire Workshop
First-Order Interpolation and Interpolating Proof Systems Laura Kovács and Andrei Voronkov In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Polymorphic+Typeclass Superposition Daniel Wand In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
BDI: A New Decidable First-order Clause Class Manuel Lamotte-Schubert and Christoph Weidenbach In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Satisfiability Checking and Query Answering for Large Ontologies Christoph Weidenbach and Patrick Wischnewski In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning