Simone Fulvio Rollini
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Resolution proof transformation for compression and interpolation Formal Methods in System Design | 2014-12-05 | Paper |
| Interpolation Properties and SAT-Based Model Checking Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
| PeRIPLO: a framework for producing effective interpolants in SAT-based software verification Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
| An efficient and flexible approach to resolution proof reduction Hardware and Software: Verification and Testing | 2011-04-06 | Paper |
Research outcomes over time
This page was built for person: Simone Fulvio Rollini
