@misc{indiciae7ff9f3715e21,
  title = {Revisiting Assumptions Ordering in CAR-Based Model Checking},
  author = {Yibo Dong and Yu Chen and Jianwen Li and Geguang Pu and Ofer Strichman},
  year = {2024},
  url = {https://arxiv.org/abs/2411.00026},
  note = {Source identifier: 2411.00026}
}