Travelled to:1 × Portugal
1 × USA
Collaborated with:N.Sharygina O.Sery H.Chockler A.Ivrii A.Matsliah
Talks about:strength (1) interpol (1) satisfi (1) leverag (1) entropi (1) model (1) cross (1) check (1) use (1)
Person: Simone Fulvio Rollini
DBLP: Rollini:Simone_Fulvio
Contributed to:
2013
2012Wrote 2 papers:
- SAC-2013-ChocklerIMRS #satisfiability #using
- Using cross-entropy for satisfiability (HC, AI, AM, SFR, NS), pp. 1196–1203.
- CAV-2012-RolliniSS #model checking
- Leveraging Interpolant Strength in Model Checking (SFR, OS, NS), pp. 193–209.