default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSMT 2014: Vienna, Austria
- Philipp Rümmer, Christoph M. Wintersteiger:
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. CEUR Workshop Proceedings 1163, CEUR-WS.org 2014 - Clark W. Barrett:
SMT: Where do we go from here? 1 - Daniel J. Fremont, Sanjit A. Seshia:
Speeding Up SMT-Based Quantitative Program Analysis. 3-13 - Hristina Palikareva, Cristian Cadar:
Multi-solver Support in Symbolic Execution. 15 - Mats Carlsson, Olga Grinchtein, Justin Pearson:
Protocol Log Analysis with Constraint Programming. 17-26 - Edmund S. L. Lam, Iliano Cervesato:
Reasoning About Set Comprehensions. 27-37 - Jürgen Christ, Jochen Hoenicke:
Weakly Equivalent Arrays. 39-49 - Francesco Alberti, Silvio Ghilardi, Natasha Sharygina
:
Decision Procedures for Flat Array Properties. 51 - Richard Bonichon, David Déharbe, Cláudia Tavares:
Extending SMT-LIB v2 with λ-Terms and Polymorphism. 53-62 - Guillaume Melquiond:
Automating the Verification of Floating-Point Algorithms. 63 - Tim King, Clark W. Barrett, Cesare Tinelli:
Leveraging Linear and Mixed Integer Programming for SMT. 65 - To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa:
raSAT: SMT for Polynomial Inequality. 67 - Marek Kosta, Thomas Sturm, Andreas Dolzmann:
Better Answers to Real Questions. 69 - Konstantin Korovin, Marek Kosta, Thomas Sturm:
Towards Conflict-Driven Learning for Virtual Substitution. 71
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-10-31 20:22 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:
