Conference: IWIL-2018 (13TH INTERNATIONAL WORKSHOP ON THE IMPLEMENTATION OF LOGICS)

Conference: IWIL-2018 (13TH INTERNATIONAL WORKSHOP ON THE IMPLEMENTATION OF LOGICS)

This page shows all presentations from this conference published in EasyChair Smart Slide.

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

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

Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger

ProofWatch Meets ENIGMA: First Experiments

ProofWatch Meets ENIGMA: First Experiments

Zarathustra Goertzel, Josef Urban and Jan Jakubův

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

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

Presentations in this collection: 3