Y. Zhang and H. Li, “Right Branches Matter in Failure-based Variable Ordering Heuristics”, AAAI, vol. 40, no. 17, pp. 14397–14404, Mar. 2026.