Anders Franzén

From MaRDI portal
Person:1037398

Available identifiers

zbMath Open franzen.andersMaRDI QIDQ1037398

List of research outcomes





PublicationDate of PublicationType
Encoding RTL constructs for \textsc{MathSAT}: a preliminary report2013-09-26Paper
Using satisfiability modulo theories for inductive verification of Lustre programs2013-09-26Paper
Satisfiability modulo the theory of costs: foundations and applications2010-04-27Paper
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis2009-11-16Paper
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis2008-05-27Paper
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in $\mathit{SMT}(\mathcal{EUF} \cup \mathcal{T})$2008-05-27Paper

Research outcomes over time

This page was built for person: Anders Franzén

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1037398&oldid=5856086"
Powered by MediaWiki