Thuillier, Kerian, Anne Siegel, and Loïc Paulevé. 2024. “CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (8):8146-53. https://doi.org/10.1609/aaai.v38i8.28654.