The following pages link to PeRIPLO (Q19912):
Displaying 7 items.
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs (Q286731) (← links)
- Guiding Craig interpolation with domain-specific abstractions (Q300418) (← links)
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- Exploiting partial variable assignment in interpolation-based model checking (Q2009611) (← links)
- Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection (Q2797866) (← links)
- OpenSMT2: An SMT Solver for Multi-core and Cloud Computing (Q2818042) (← links)
- PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification (Q2870162) (← links)
