Nice to have our paper Revisiting Assumptions Ordering in CAR-Based Model Checking accepted for publication in the IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems! Thanks to all the collaborators!