Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLPAR 2018 IWIL Workshop and Short Papers, Awassa, Ethiopia
- Gilles Barthe, Konstantin Korovin, Stephan Schulz, Martin Suda, Geoff Sutcliffe, Margus Veanes:
LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018. Kalpa Publications in Computing 9, EasyChair 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. 1-14 - Zarathustra Amadeus Goertzel, Jan Jakubuv, Josef Urban:
ProofWatch Meets ENIGMA: First Experiments. 15-22 - Jens Katelaan
, Christoph Matheja, Thomas Noll, Florian Zuleger:
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. 23-36 - René Thiemann:
Extending a Verified Simplex Algorithm. 37-48 - Tamar Bash, Rachel Ben-Eliyahu-Zohary:
Towards Efficient Metaquery Generator. 49-57 - Tarek Khaled, Belaid Benhamou:
Symmetry breaking in a new stable model search method. 58-74 - Paventhan Vivekanandan:
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography. 75-90 - Przemyslaw Andrzej Walega:
On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic. 91-106
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
