Revisiting Assumptions Ordering in CAR-Based Model Checking - Yibo Dong; Yu Chen; Jianwen Li; Geguang Pu; Ofer Strichman (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025)