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

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger

Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection

Madalina Erascu, Flavia Micota and Daniela Zaharie

ProofWatch Meets ENIGMA: First Experiments

Zarathustra Goertzel, Josef Urban and Jan Jakubův
Total: 3 presentations.