Simone Fulvio Rollini
From MaRDI portal
Person:479812
Available identifiers
zbMath Open rollini.simone-fulvioMaRDI QIDQ479812
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Resolution proof transformation for compression and interpolation | 2014-12-05 | Paper |
Interpolation Properties and SAT-Based Model Checking | 2014-07-08 | Paper |
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification | 2014-01-17 | Paper |
An Efficient and Flexible Approach to Resolution Proof Reduction | 2011-04-06 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Simone Fulvio Rollini