Zhang, Y.; Li, H. Right Branches Matter in Failure-Based Variable Ordering Heuristics. AAAI 2026, 40, 14397-14404.