LPAR-IWIL 2018:Author Index

AuthorPapers
B
Bash, TamarTowards Efficient Metaquery Generator
Ben-Eliyahu-Zohary, RachelTowards Efficient Metaquery Generator
Benhamou, BelaidSymmetry breaking in a new stable model search method
E
Erascu, MadalinaInfluence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
G
Goertzel, ZarathustraProofWatch Meets ENIGMA: First Experiments
J
Jakubuv, JanProofWatch Meets ENIGMA: First Experiments
K
Katelaan, JensHarrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
Khaled, TarekSymmetry breaking in a new stable model search method
M
Matheja, ChristophHarrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
Micota, FlaviaInfluence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
N
Noll, ThomasHarrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic
T
Thiemann, RenéExtending a Verified Simplex Algorithm
U
Urban, JosefProofWatch Meets ENIGMA: First Experiments
V
Vivekanandan, PaventhanHoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
W
Wałęga, Przemysław AndrzejOn Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
Z
Zaharie, DanielaInfluence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection
Zuleger, FlorianHarrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic