Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah. MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. J. UCS, 10(12):1562-1596, 2004. [doi]
@article{AloulMS04,
title = {MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation},
author = {Fadi A. Aloul and Igor L. Markov and Karem A. Sakallah},
year = {2004},
url = {http://www.jucs.org/jucs_10_12/mince_a_static_global},
tags = {Markov, search},
researchr = {https://researchr.org/publication/AloulMS04},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {10},
number = {12},
pages = {1562-1596},
}