default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th SMT 2012: Manchester, UK
- Pascal Fontaine, Amit Goel:
10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012. EPiC Series in Computing 20, EasyChair 2013 - Armin Biere:
Practical Aspects of SAT Solving. 1 - Natarajan Shankar:
The Architecture of Inference from SMT to ETB. 2 - Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko:
Program Verification as Satisfiability Modulo Theories. 3-11 - Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala:
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers. 12-21 - Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich:
Reasoning with Triggers. 22-31 - Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle:
SMT-Based System Verification with DVF. 32-43 - Gergely Kovásznai, Andreas Fröhlich, Armin Biere:
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. 44-56 - Mohammad Abdul Aziz, Amr G. Wassal, Nevin M. Darwish:
A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems. 57-66 - Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina
:
Reachability Modulo Theory Library. 67-76 - Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes:
SMT-LIB Sequences and Regular Expressions. 77-87 - Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann:
Exotic Semi-Ring Constraints. 88-97 - Stephan Falke, Carsten Sinz, Florian Merz:
A Theory of Arrays with set and copy Operations. 98-108 - Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans:
An SMT-based approach to automated configuration. 109-119 - Anh-Dung Phan, Nikolaj S. Bjørner, David Monniaux:
Anatomy of Alternating Quantifier Satisfiability (Work in progress). 120-130 - David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters:
The 2012 SMT Competition. 131-142
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 2025-04-17 23:52 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:
