|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Markus Bender |
Reasoning with Sets and Sums of Sets.  |
SMT@IJCAR  |
2016 |
DBLP BibTeX RDF |
|
| 1 | Roberto Sebastiani, Patrick Trentin |
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Tim King, Ruzica Piskac (eds.) |
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Eryk Kopczynski, Szymon Torunczyk |
LOIS: an Application of SMT Solvers. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Tjark Weber |
Scrambling and Descrambling SMT-LIB Benchmarks. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Nik Sultana, Richard Mortier |
Kneecap: Model-based Generation of Network Traffic. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Raphaël Berthon, Christophe Ringeissen |
Satisfiability Modulo Free Data Structures Combined with Bridging Functions. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Martin Bromberger, Christoph Weidenbach |
Computing a Complete Basis for Equalities Implied by a System of LRA Constraints. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mikolás Janota, Christoph M. Wintersteiger |
On Intervals and Bounds in Bit-vector Arithmetic. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn |
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. |
SMT@IJCAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Pascal Fontaine, Amit Goel (eds.) |
10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012 |
SMT@IJCAR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes |
SMT-LIB Sequences and Regular Expressions. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anh-Dung Phan, Nikolaj S. Bjørner, David Monniaux |
Anatomy of Alternating Quantifier Satisfiability (Work in progress). |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Biere |
Practical Aspects of SAT Solving. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle |
SMT-Based System Verification with DVF. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Abdul Aziz, Amr G. Wassal, Nevin M. Darwish |
A Machine Learning Technique for Hardness Estimation of QFBV SMT Problems. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Falke 0001, Carsten Sinz, Florian Merz 0001 |
A Theory of Arrays with set and copy Operations. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich |
Reasoning with Triggers. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko |
Program Verification as Satisfiability Modulo Theories. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala |
Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann |
Exotic Semi-Ring Constraints. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans |
An SMT-based approach to automated configuration. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters |
The 2012 SMT Competition. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergely Kovásznai, Andreas Fröhlich, Armin Biere |
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Natarajan Shankar |
The Architecture of Inference from SMT to ETB. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
Reachability Modulo Theory Library. |
SMT@IJCAR |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license