Thuillier K, Siegel A, Paulevé L. CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems. AAAI [Internet]. 2024Mar.24 [cited 2024May30];38(8):8146-53. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/28654