Seon-Woong Jeong, Bernard Plessier, Gary D. Hachtel, Fabio Somenzi. Variable Ordering and Selection for FSM Traversal. In ICCAD. pages 476-479, 1991.
@inproceedings{JeongPHS91a,
title = {Variable Ordering and Selection for FSM Traversal},
author = {Seon-Woong Jeong and Bernard Plessier and Gary D. Hachtel and Fabio Somenzi},
year = {1991},
tags = {traversal},
researchr = {https://researchr.org/publication/JeongPHS91a},
cites = {0},
citedby = {0},
pages = {476-479},
booktitle = {ICCAD},
}