SMT 2019 Informal Proceedings
This is an informal proceedings containing the papers submitted to the SMT workshop. This proceedings is available for download as a zip archive or by downloading individual papers below.
Frontmatter
Invited Talk Abstracts
-
Nikolaj Bjørner
Regular Papers
-
Roberto Bruttomesso
-
Shriphani Palakodety, Guha Jayachandran and Aditya Thakur
-
Joseph Scott, Pascal Poupart and Vijay Ganesh
Extended Abstracts and Preliminary Reports
-
Maria Paola Bonacina and Giulio Mazzi
-
Madalina Erascu and Razvan Metes
-
Stéphane Graham-Lengrand and Dejan Jovanović
SMT-COMP Solver Descriptions
-
Jochen Hoenicke and Tanja Schindler
-
Mohamed Iguernlala
-
Bruno Marre, Benjamin Blanc, Patricia Mouy, Zakaria Chihani, Franck Vedrine and Francois Bobot
-
Shaowei Cai, Xindi Zhang, and Bing He
-
Martin Blicha, Antti E. J. Hyvarinen, Matteo Marescotti, and Natasha Sharygina
-
Sebastian Krings and Michael Leuschel
-
Marc Brockschmidt, Florian Froh2, Carsten Fuhs, Jurgen Giesl, Jera Hensel, Peter Schneider-Kamp, Thomas Stroder and Rene Thiemann
-
Gereon Kremer and Erika Abraham
-
Tjark Weber
-
Bruno Dutertre, Dejan Jovanovic, Ian Mason and Stephane Graham-Lengrand
-
Albin Coquereau, Mohamed Iguernlala and Guillaume Bury
-
Martin Bromberger, Mathias Fleury, Simon Schwarz and Christoph Weidenbach
-
Ahmed Irfan, Alberto Griggio, Alessandro Cimatti and Roberto Sebastiani
-
Saket Dingliwal, Ronak Agarwal, Happy Mittal and Parag Singla
-
Aina Niemetz, Mathias Preiner and Armin Biere
-
Martin Jonas and Jan Strejcek}
-
Haniel Barbosa, Daniel El Ouraoui, Pascal Fontaine and Hans-Jorg Schurr
-
Clark Barrett, Haniel Barbosa, Martin Brain, Tim King, Makai Mann, Aina Niemetz, Andres Noetzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli and Yoni Zohar
-
Max Barth, Daniel Dietsch, Leonard Fichtner and Matthias Heizman
-
Giles Reger
-
Norbert Manthey, Mate Soos and Trevor Hansen