|
|
LPAR-IWIL 2018: Author IndexAuthor | 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 |
|
|
|