J. Xu, Y. Wu, H. Li, and M. Yin, “Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems”, AAAI, vol. 39, no. 11, pp. 11390-11398, Apr. 2025.