ML Anthology

Thuillier, Kerian

1 publications

AAAI 2024 CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems Kerian Thuillier, Anne Siegel, Loïc Paulevé