Fixing the state budget: approximation of regular languages with small DFAs

Graeme Gange, Pierre Ganty, Peter J. Stuckey

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)

Search results