BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Franz=eacute=n:Anders

Contributed to:

DATE 20102010
TACAS 20102010
CAV 20082008
CAV 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.