Fixing the State Budget: Approximation of Regular Languages with Small DFAs.

Graeme Gange, Pierre Ganty, Peter J. Stuckey

Browse the full ATVA paper archive.