default search action
15th SMT 2017: Heidelberg, Germany
- Martin Brain, Liana Hadarean:
Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017. CEUR Workshop Proceedings 1889, CEUR-WS.org 2017
Invited Talks
- James Davenport:
SMT Nonlinear Real Arithmetic and Computer Algebra: a Dialogue of the Deaf? 1 - Andrew Reynolds:
Quantifier Instantiation Beyond E-Matching. 2
Regular Papers
- Aina Niemetz, Mathias Preiner, Armin Biere:
Model-Based API Testing for SMT Solvers. 3-14 - Gergely Kovásznai, Csaba Biró, Balazs Erdelyi:
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers. 15-27 - Dejan Jovanovic, Bruno Dutertre:
LibPoly: A Library for Reasoning about Polynomials. 28-39 - Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina
:
Visualising SMT-Based Parallel Constraint Solving. 40-49 - François Bobot, Zakaria Chihani, Bruno Marre:
Real Behavior of Floating Point. 50-62 - Giles Reger, Martin Suda, Andrei Voronkov:
Instantiation and Pretending to be an SMT Solver with Vampire. 63-75
Extended Abstracts
- Jochen Hoenicke, Tanja Schindler:
Efficient Interpolation for the Theory of Arrays. 76-88 - Stéphane Graham-Lengrand, Dejan Jovanovic:
An MCSAT treatment of Bit-Vectors. 89-100 - Yakir Vizel, Alexander Nadel, Sharad Malik
Solving Constraints over Bit-Vectors with SAT-based Model Checking. 101-107
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-12-19 22:20 CET 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: