TY  - RPRT
TI  - Variables Ordering Optimization in Boolean Characteristic Set Method Using Simulated Annealing and Machine Learning-based Time Prediction
AU  - Minzhong Luo
AU  - Yudong Sun
AU  - Yin Long
PY  - 2026
UR  - https://arxiv.org/abs/2509.14754
ID  - 2509.14754
ER  -