@article{aloul2003solving,
   author = {Aloul, Fadi A. and Ramani, Arathi and Markov, Igor L. and Sakallah, Karem A.},
   title = {{Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry}},
   journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
   volume = {22},
   number = {9},
   pages = {1117-1137},
   year = {2003}
}

{"_id":"RoJHgiSwdbKdkaZfD","bibbaseid":"aloul-ramani-markov-sakallah-solvingdifficultinstancesofbooleansatisfiabilityinthepresenceofsymmetry-2003","author_short":["Aloul, F. A.","Ramani, A.","Markov, I. L.","Sakallah, K. A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Aloul"],"firstnames":["Fadi","A."],"suffixes":[]},{"propositions":[],"lastnames":["Ramani"],"firstnames":["Arathi"],"suffixes":[]},{"propositions":[],"lastnames":["Markov"],"firstnames":["Igor","L."],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry","journal":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","volume":"22","number":"9","pages":"1117-1137","year":"2003","bibtex":"@article{aloul2003solving,\n author = {Aloul, Fadi A. and Ramani, Arathi and Markov, Igor L. and Sakallah, Karem A.},\n title = {{Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry}},\n journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},\n volume = {22},\n number = {9},\n pages = {1117-1137},\n year = {2003}\n}\n\n","author_short":["Aloul, F. A.","Ramani, A.","Markov, I. L.","Sakallah, K. A."],"key":"aloul2003solving","id":"aloul2003solving","bibbaseid":"aloul-ramani-markov-sakallah-solvingdifficultinstancesofbooleansatisfiabilityinthepresenceofsymmetry-2003","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","dataSources":["dAWPbXiJP4ihEN4GZ"],"keywords":[],"search_terms":["solving","difficult","instances","boolean","satisfiability","presence","symmetry","aloul","ramani","markov","sakallah"],"title":"Solving Difficult Instances of Boolean Satisfiability in the Presence of Symmetry","year":2003}