Corresponding author: Fadi Aloul ( faloul@ausharjah.edu ) © Fadi Aloul, Igor Markov, Karem Sakallah. This article is freely available under the J.UCS Open Content License. Citation:
Aloul FA, Markov IL, Sakallah KA (2004) MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. JUCS - Journal of Universal Computer Science 10(12): 1562-1596. https://doi.org/10.3217/jucs-010-12-1562 |