Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah. FORCE: a fast and easy-to-implement variable-ordering heuristic. In Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, Washington, DC, USA, April 28-29, 2003. pages 116-119, ACM, 2003. [doi]
@inproceedings{AloulMS03:0,
title = {FORCE: a fast and easy-to-implement variable-ordering heuristic},
author = {Fadi A. Aloul and Igor L. Markov and Karem A. Sakallah},
year = {2003},
doi = {10.1145/764808.764839},
url = {http://doi.acm.org/10.1145/764808.764839},
tags = {Markov},
researchr = {https://researchr.org/publication/AloulMS03%3A0},
cites = {0},
citedby = {0},
pages = {116-119},
booktitle = {Proceedings of the 13th ACM Great Lakes Symposium on VLSI 2003, Washington, DC, USA, April 28-29, 2003},
publisher = {ACM},
isbn = {1-58113-677-3},
}