The following pages link to Simone Fulvio Rollini (Q479812):
Displayed 4 items.
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification (Q2870162) (← links)
- Interpolation Properties and SAT-Based Model Checking (Q5166692) (← links)
- An Efficient and Flexible Approach to Resolution Proof Reduction (Q5391528) (← links)