TY  - RPRT
TI  - Revisiting Assumptions Ordering in CAR-Based Model Checking
AU  - Yibo Dong
AU  - Yu Chen
AU  - Jianwen Li
AU  - Geguang Pu
AU  - Ofer Strichman
PY  - 2024
UR  - https://arxiv.org/abs/2411.00026
ID  - 2411.00026
ER  -