|
Search the dblp DataBase
Anders Franzén:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. [Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:527-541 [Conf]
- Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Alessandro Santuari, Roberto Sebastiani
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT). [Citation Graph (0, 0)][DBLP] LPAR, 2006, pp:557-571 [Conf]
- Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
Encoding RTL Constructs for MathSAT: a Preliminary Report. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:3-14 [Journal]
- Anders Franzén
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:19-33 [Journal]
- Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:547-560 [Conf]
The MathSAT 4SMT Solver. [Citation Graph (, )][DBLP]
Tighter integration of BDDs and SMT for Predicate Abstraction. [Citation Graph (, )][DBLP]
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. [Citation Graph (, )][DBLP]
Satisfiability Modulo the Theory of Costs: Foundations and Applications. [Citation Graph (, )][DBLP]
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|