External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Finding Redundant Constraints for FSM Minimization

Lin Yuan, Pushkin R. Pari, Gang Qu. Finding Redundant Constraints for FSM Minimization. In Deborah L. McGuinness, George Ferguson, editors, Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA. pages 976-977, AAAI Press / The MIT Press, 2004.

Abstract

Abstract is missing.

runs on