Approximate Verification and Enumeration Problems.

Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki

Browse the full ICTAC paper archive.