Proof-Guided Underapproximation Widening for Bounded Model Checking. - Prantik Chatterjee; Jaydeepsinh Meda; Akash Lal; Subhajit Roy 001 (CAV (1), 2022)