Interpolation and SAT-Based Model Checking
Abstract elided by the publisher.
Related papers
- Revisiting DRUP-Based Interpolants with CaDiCaL 2.0 TACAS 2025
- Bit-Precise Interpolation in Bitwuzla TACAS 2026
- Speculative SAT Modulo SAT TACAS 2024
- Interpolating Strong Induction CAV 2019
- Interpolants and Symbolic Model Checking VMCAI 2007
- Applications of Craig Interpolants in Model Checking TACAS 2005
- Selfless Interpolation for Infinite-State Model Checking VMCAI 2018
- Leveraging Interpolant Strength in Model Checking CAV 2012