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]
Abstract is missing.