|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 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., pp. 61-70, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Roberto Sebastiani, Patrick Trentin |
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 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., pp. 85-95, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Eryk Kopczynski, Szymon Torunczyk |
LOIS: an Application of SMT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 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., pp. 51-60, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Tjark Weber |
Scrambling and Descrambling SMT-LIB Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 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., pp. 31-40, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Nik Sultana, Richard Mortier |
Kneecap: Model-based Generation of Network Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 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., pp. 4-14, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Raphaël Berthon, Christophe Ringeissen |
Satisfiability Modulo Free Data Structures Combined with Bridging Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 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., pp. 71-80, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Martin Bromberger, Christoph Weidenbach |
Computing a Complete Basis for Equalities Implied by a System of LRA Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 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., pp. 15-30, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Mikolás Janota, Christoph M. Wintersteiger |
On Intervals and Bounds in Bit-vector Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 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., pp. 81-84, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn |
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 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., pp. 41-50, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![EasyChair The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes |
SMT-LIB Sequences and Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 77-87, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anh-Dung Phan, Nikolaj S. Bjørner, David Monniaux |
Anatomy of Alternating Quantifier Satisfiability (Work in progress). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 120-130, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere |
Practical Aspects of SAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 1, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle |
SMT-Based System Verification with DVF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 32-43, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 57-66, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Falke 0001, Carsten Sinz, Florian Merz 0001 |
A Theory of Arrays with set and copy Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 98-108, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich |
Reasoning with Triggers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 22-31, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Kenneth L. McMillan, Andrey Rybalchenko |
Program Verification as Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 3-11, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 12-21, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann |
Exotic Semi-Ring Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 88-97, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Michel, Arnaud Hubaux, Vijay Ganesh, Patrick Heymans |
An SMT-based approach to automated configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 109-119, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David R. Cok, Alberto Griggio, Roberto Bruttomesso, Morgan Deters |
The 2012 SMT Competition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 131-142, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 44-56, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Natarajan Shankar |
The Architecture of Inference from SMT to ETB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 2, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina |
Reachability Modulo Theory Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMT@IJCAR ![In: 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012, pp. 67-76, 2012, EasyChair. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|