New Branching Heuristics for Incremental Bounded Model Checking. - Satyam Shubham; Sutirtha Bhattacharyya; Ansuman Banerjee; Raj Kumar Gajavelly (ISVLSI, 2025)