List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Encoding RTL constructs for \textsc{MathSAT}: a preliminary report | 2013-09-26 | Paper |
| Using satisfiability modulo theories for inductive verification of Lustre programs | 2013-09-26 | Paper |
| Satisfiability modulo the theory of costs: foundations and applications Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
| Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis Annals of Mathematics and Artificial Intelligence | 2009-11-16 | Paper |
| Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in $\mathit{SMT}(\mathcal{EUF} \cup \mathcal{T})$ Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Research outcomes over time
This page was built for person: Anders Franzén
