Keyword:EPR

Publications
Quantum Complementarity: Both Duality and Opposition Vasil Penchev EasyChair Preprint 3453
Two Strategies to Infinity: Completeness and Incompleteness. the Completeness of Quantum Mechanics Vasil Penchev EasyChair Preprint 3216
Towards Smarter MACE-style Model Finders Mikolas Janota and Martin Suda In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics Negin Arhami and Geoff Sutcliffe In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning
iDQ: Instantiation-Based DQBF Solving Andreas Fröhlich, Gergely Kovásznai, Armin Biere and Helmut Veith In:POS-14. Fifth Pragmatics of SAT workshop
Instantiations, Zippers and EPR Interpolation Nikolaj Bjorner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
qbf2epr: A Tool for Generating EPR Formulas from QBF Martina Seidl, Florian Lonsing and Armin Biere In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning