@inproceedings{aloul2001mince,
   author = {Aloul, Fadi A. and Markov, Igor L. and Sakallah, Karem A.},
   title = {{MINCE: A Static Global Variable-Ordering for SAT and BDD}},
   booktitle = {International Workshop on Logic Synthesis (IWLS)},
   address = {Granlibakken, California},
   pages = {281-286},
   month = {June},
   year = {2001}

}

{"_id":"a7emxxW9vXiKfdrY8","bibbaseid":"aloul-markov-sakallah-minceastaticglobalvariableorderingforsatandbdd-2001","author_short":["Aloul, F. A.","Markov, I. L.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Aloul"],"firstnames":["Fadi","A."],"suffixes":[]},{"propositions":[],"lastnames":["Markov"],"firstnames":["Igor","L."],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"MINCE: A Static Global Variable-Ordering for SAT and BDD","booktitle":"International Workshop on Logic Synthesis (IWLS)","address":"Granlibakken, California","pages":"281-286","month":"June","year":"2001","bibtex":"@inproceedings{aloul2001mince,\n author = {Aloul, Fadi A. and Markov, Igor L. and Sakallah, Karem A.},\n title = {{MINCE: A Static Global Variable-Ordering for SAT and BDD}},\n booktitle = {International Workshop on Logic Synthesis (IWLS)},\n address = {Granlibakken, California},\n pages = {281-286},\n month = {June},\n year = {2001}\n\n}\n\n","author_short":["Aloul, F. A.","Markov, I. L.","Sakallah, K. A."],"key":"aloul2001mince","id":"aloul2001mince","bibbaseid":"aloul-markov-sakallah-minceastaticglobalvariableorderingforsatandbdd-2001","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["mince","static","global","variable","ordering","sat","bdd","aloul","markov","sakallah"],"title":"MINCE: A Static Global Variable-Ordering for SAT and BDD","year":2001}