Keyword:superposition

Publications
Enhancing Superposition Reasoning in Linear Real Arithmetic through Selection and Simplification (Extended Version) Johannes Schoisswohl, Laura Kovács, Konstantin Korovin and Andrei Voronkov EasyChair Preprint 16032
Quantum Machine Learning: Exploring the Potential of Quantum Computing for AI Applications Kaledio Potter and Dylan Stilinki EasyChair Preprint 13896
A Higher-Order Vampire (Short Paper) Ahmed Bhayat and Martin Suda EasyChair Preprint 13125
Synthesis of Recursive Programs in Saturation Petra Hozzová, Daneshvar Amrollahi, Márton Hajdu, Laura Kovács, Andrei Voronkov and Eva Maria Wagner EasyChair Preprint 12145
Reducibility Constraints in Superposition Marton Hajdu, Laura Kovács, Michael Rawson and Andrei Voronkov EasyChair Preprint 12142
Program Synthesis in Saturation Petra Hozzová, Laura Kovács, Chase Norman and Andrei Voronkov EasyChair Preprint 10223
The Vampire Approach to Induction Marton Hajdu, Laura Kovacs, Michael Rawson and Andrei Voronkov EasyChair Preprint 9217
Parallelism Evaluation of Quantum Computing Comparing with Classical Computation Systems Mohammed Hamada and Mohammed Mikki EasyChair Preprint 5911
The Future of Quantum Computer Vikas Tiwari and Sonia Dubey EasyChair Preprint 4958
Self-Adapting Algorithms of the Control System Romans Dyakons, Irina Kazina and Rostislav Kopitov EasyChair Preprint 4366
A Knuth-Bendix-Like Ordering for Orienting Combinator Equations (Technical Report) Ahmed Bhayat and Giles Reger EasyChair Preprint 3191
Rewriting and Inductive Reasoning Marton Hajdu, Laura Kovács and Michael Rawson In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Spawns of the Saturation Framework Sophie Tourret In:Proceedings of the 7th and 8th Vampire Workshop
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