Travelled to:1 × Cyprus
1 × USA
2 × Germany
Collaborated with:A.Cimatti A.Griggio R.Sebastiani R.Bruttomesso K.Kalyanasundaram M.Roveri C.Stenico Z.Hanna A.Nadel A.Palti
Talks about:smt (3) solver (2) industri (1) abstract (1) tighter (1) satisfi (1) problem (1) foundat (1) theori (1) predic (1)
Person: Anders Franzén
DBLP: Franz=eacute=n:Anders
Contributed to:
2010
2010
20082007Wrote 4 papers:
- DATE-2010-CimattiFGKR #abstraction #integration #smt
- Tighter integration of BDDs and SMT for Predicate Abstraction (AC, AF, AG, KK, MR), pp. 1707–1712.
- TACAS-2010-CimattiFGSS #formal method #satisfiability
- Satisfiability Modulo the Theory of Costs: Foundations and Applications (AC, AF, AG, RS, CS), pp. 99–113.
- CAV-2008-BruttomessoCFGS #smt
- The MathSAT 4SMT Solver (RB, AC, AF, AG, RS), pp. 299–303.
- CAV-2007-BruttomessoCFGHNPS #industrial #lazy evaluation #problem #smt #verification
- A Lazy and Layered SMT(BV) Solver for Hard Industrial Verification Problems (RB, AC, AF, AG, ZH, AN, AP, RS), pp. 547–560.