Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Igor L. Markov
University of Michigan, USA

F. A. Aloul, I. L. Markov, K. A. Sakallah:
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation
/jucs_10_12/mince_a_static_global
page 1562 - 1596
Vol.10 / Issue 12