HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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