Zeng, S.; Zhang, S.; Wu, F.; Tang, S.; Li, X. Scalable Mixed-Integer Optimization With Neural Constraints via Dual Decomposition. AAAI 2026, 40, 14388-14396.