|
|
LPAR-IWIL 2018: Author Index| Author | Papers |
|---|
| B | | Bash, Tamar | Towards Efficient Metaquery Generator | | Ben-Eliyahu-Zohary, Rachel | Towards Efficient Metaquery Generator | | Benhamou, Belaid | Symmetry breaking in a new stable model search method | | E | | Erascu, Madalina | Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection | | G | | Goertzel, Zarathustra | ProofWatch Meets ENIGMA: First Experiments | | J | | Jakubuv, Jan | ProofWatch Meets ENIGMA: First Experiments | | K | | Katelaan, Jens | Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic | | Khaled, Tarek | Symmetry breaking in a new stable model search method | | M | | Matheja, Christoph | Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic | | Micota, Flavia | Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection | | N | | Noll, Thomas | Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic | | T | | Thiemann, René | Extending a Verified Simplex Algorithm | | U | | Urban, Josef | ProofWatch Meets ENIGMA: First Experiments | | V | | Vivekanandan, Paventhan | HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography | | W | | Wałęga, Przemysław Andrzej | On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic | | Z | | Zaharie, Daniela | Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection | | Zuleger, Florian | Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic |
|
|
|
