Publications
Export 4 results:
[ Author![(Desc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-desc.png)
Filters: First Letter Of Last Name is R [Clear All Filters]
Resolution Proof Transformation for Compression and Interpolation,
, CoRR, Volume July 2013, (2013)
Leveraging Interpolant Strength in Model Checking,
, 24th International Conference on Computer Aided Verification (CAV), Berkeley, California, USA, (2012)
An Efficient and Flexible Approach to Resolution Proof Reduction,
, Haifa Verification Conference (HVC), Haifa, Israel, (2010)
PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification,
, Logic for Programming Artificial Intelligence and Reasoning (LPAR), Stellenbosch, South Africa, (2013)