LPAR (Workshop and Short Papers)

Publications

2018

Paventhan Vivekanandan
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography. LPAR (Workshop and Short Papers) (2018)
Przemyslaw Andrzej Walega
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic. LPAR (Workshop and Short Papers) (2018)
Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. LPAR (Workshop and Short Papers) (2018)
Tarek Khaled, Belaid Benhamou
Symmetry breaking in a new stable model search method. LPAR (Workshop and Short Papers) (2018)
Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban
ProofWatch Meets ENIGMA: First Experiments. LPAR (Workshop and Short Papers) (2018)
René Thiemann
Extending a Verified Simplex Algorithm. LPAR (Workshop and Short Papers) (2018)
Tamar Bash, Rachel Ben-Eliyahu-Zohary
Towards Efficient Metaquery Generator. LPAR (Workshop and Short Papers) (2018)
Madalina Erascu, Flavia Micota, Daniela Zaharie
Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection. LPAR (Workshop and Short Papers) (2018)

volume 9, 2018

LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018 LPAR (Workshop and Short Papers) 9 (2018)