K. Thuillier, A. Siegel, and L. Paulevé, “CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems”, AAAI, vol. 38, no. 8, pp. 8146-8153, Mar. 2024.