Zeng, Shuli, Sijia Zhang, Feng Wu, Shaojie Tang, and Xiangyang Li. 2026. “Scalable Mixed-Integer Optimization With Neural Constraints via Dual Decomposition”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (17):14388-96. https://doi.org/10.1609/aaai.v40i17.38454.