LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

B
Ben-Eliyahu-Zohary, Rachel	Splitting a Logic Program Efficiently
E
Erascu, Madalina	Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
G
Goertzel, Zarathustra	ProofWatch Meets ENIGMA: First Experiments
J
Jakubův, Jan	ProofWatch Meets ENIGMA: First Experiments
K
Katelaan, Jens	Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
M
Matheja, Christoph	Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
N
Noll, Thomas	Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
T
Thiemann, René	Extending a Verified Simplex Algorithm
U
Urban, Josef	ProofWatch Meets ENIGMA: First Experiments
V
Veanes, Margus	Research in RiSE at MSR
Z
Zaharie, Daniela	Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
Zamfirache, Flavia	Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
Zuleger, Florian	Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

Disclaimer | Powered by EasyChair Smart Program