Finding redundant constraints in FSM minimization

• Authors:

• Lin Yuan;Pushkin R. Pari;Gang Qu

• Affiliations:

• Department of Electrical and Computer Engineering, University of Maryland, College Park, Maryland;Department of Electrical and Computer Engineering, University of Maryland, College Park, Maryland;Department of Electrical and Computer Engineering, University of Maryland, College Park, Maryland

• Venue:
• AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
• Year:
• 2004