@misc{indiciae0930845a0b81,
  title = {Variables Ordering Optimization in Boolean Characteristic Set Method Using Simulated Annealing and Machine Learning-based Time Prediction},
  author = {Minzhong Luo and Yudong Sun and Yin Long},
  year = {2026},
  url = {https://arxiv.org/abs/2509.14754},
  note = {Source identifier: 2509.14754}
}