@inproceedings{aloul2003force,
   author = {Aloul, Fadi A. and Markov, Igor L. and Sakallah, Karem A.},
   title = {{FORCE: A Fast and Easy-to-Implement Variable-Ordering Heuristic}},
   booktitle = {Great Lakes Symposium on VLSI (GLSVLSI 2003)},
   address = {Washington, D.C.},
   pages = {116-119},
   month = {April},
   year = {2003}
}

{"_id":"zombNrmKyaDbbLHrH","bibbaseid":"aloul-markov-sakallah-forceafastandeasytoimplementvariableorderingheuristic-2003","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":"FORCE: A Fast and Easy-to-Implement Variable-Ordering Heuristic","booktitle":"Great Lakes Symposium on VLSI (GLSVLSI 2003)","address":"Washington, D.C.","pages":"116-119","month":"April","year":"2003","bibtex":"@inproceedings{aloul2003force,\n author = {Aloul, Fadi A. and Markov, Igor L. and Sakallah, Karem A.},\n title = {{FORCE: A Fast and Easy-to-Implement Variable-Ordering Heuristic}},\n booktitle = {Great Lakes Symposium on VLSI (GLSVLSI 2003)},\n address = {Washington, D.C.},\n pages = {116-119},\n month = {April},\n year = {2003}\n}\n\n","author_short":["Aloul, F. A.","Markov, I. L.","Sakallah, K. A."],"key":"aloul2003force","id":"aloul2003force","bibbaseid":"aloul-markov-sakallah-forceafastandeasytoimplementvariableorderingheuristic-2003","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":["force","fast","easy","implement","variable","ordering","heuristic","aloul","markov","sakallah"],"title":"FORCE: A Fast and Easy-to-Implement Variable-Ordering Heuristic","year":2003}