Yibo Dong, Xiwei Wu, Jianwen Li, Geguang Pu, Ofer Strichman: Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores. SPIN 2025: 88-105