ML Anthology

Siegel, Anne

1 publications

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