MINCE: A static global variableordering heuristic for sat search and bdd manipulation (2004)

by Fadi A. Aloul , Igor L. Markov , Karem A. Sakallah
Venue:Journal of Universal Computer Science (JUCS
Citations:11 - 1 self