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.
@inproceedings{YuanPQ04:0,
title = {Finding Redundant Constraints for FSM Minimization},
author = {Lin Yuan and Pushkin R. Pari and Gang Qu},
year = {2004},
tags = {constraints},
researchr = {https://researchr.org/publication/YuanPQ04%3A0},
cites = {0},
citedby = {0},
pages = {976-977},
booktitle = {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},
editor = {Deborah L. McGuinness and George Ferguson},
publisher = {AAAI Press / The MIT Press},
isbn = {0-262-51183-5},
}