CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.

Kerian Thuillier, Anne Siegel, Loc Paulev

Browse the full AAAI paper archive.