17 citations · 31 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 14 cited
Resolution Proof Transformation for Compression and Interpolation
S. F. Rollini, R. Bruttomesso, N. Sharygina +1
Verification methods based on SAT, SMT, and Theorem Proving often rely on proofs of unsatisfiability as a powerful tool to extract information in order to reduce the overall effort…
cs.LO2012★ 17 cited
Interpolation Properties and SAT-based Model Checking
Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina
Craig interpolation is a widespread method in verification, with important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstrac…