Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

LPAR-IWIL 2018: Volume Information

LPAR-22 Workshop and Short Paper Proceedings

Editors: Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe and Margus Veanes

Kalpa Publications in Computing•Volume 9

8 articles•106 pages•Published: November 18, 2018

Papers

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

1-14

ProofWatch Meets ENIGMA: First Experiments

Zarathustra Goertzel, Jan Jakubuv and Josef Urban

15-22

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

Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger

23-36

Extending a Verified Simplex Algorithm

37-48

Towards Efficient Metaquery Generator

Tamar Bash and Rachel Ben-Eliyahu-Zohary

49-57

Symmetry breaking in a new stable model search method

Tarek Khaled and Belaid Benhamou

58-74

HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography

Paventhan Vivekanandan

75-90

On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic

Przemysław Andrzej Wałęga

91-106

Keyphrases

Answer Set Programming, computational complexity, Data Mining, DPLL(T), functor, Groupoid, Halpern-Shoham logic, Higher Inductive Type, homotopy type theory, interval logic, Isabelle/HOL, Linear Rational Arithmetic, logic programming, metaqueries, relational database, stable models, Sub-propositional Fragments, symmetry breaking, theory solver, univalence, unsatisfiable core.