@inproceedings{aloul2003efficient,
   author = {Aloul, Fadi A. and Sakallah, Karem A. and Markov, Igor L.},
   title = {{Efficient Symmetry Breaking for Boolean Satisfiability}},
   booktitle = {Proc. 18th International Joint Conference on Artificial Intelligence (IJCAI-03)},
   address = {Acapulco, Mexico},
   pages = {271-282},
   month = {August},
   year = {2003}
}

{"_id":"mvxFmJsNbyEjsASYX","bibbaseid":"aloul-sakallah-markov-efficientsymmetrybreakingforbooleansatisfiability-2003","author_short":["Aloul, F. A.","Sakallah, K. A.","Markov, I. L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Aloul"],"firstnames":["Fadi","A."],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]},{"propositions":[],"lastnames":["Markov"],"firstnames":["Igor","L."],"suffixes":[]}],"title":"Efficient Symmetry Breaking for Boolean Satisfiability","booktitle":"Proc. 18th International Joint Conference on Artificial Intelligence (IJCAI-03)","address":"Acapulco, Mexico","pages":"271-282","month":"August","year":"2003","bibtex":"@inproceedings{aloul2003efficient,\n author = {Aloul, Fadi A. and Sakallah, Karem A. and Markov, Igor L.},\n title = {{Efficient Symmetry Breaking for Boolean Satisfiability}},\n booktitle = {Proc. 18th International Joint Conference on Artificial Intelligence (IJCAI-03)},\n address = {Acapulco, Mexico},\n pages = {271-282},\n month = {August},\n year = {2003}\n}\n\n","author_short":["Aloul, F. A.","Sakallah, K. A.","Markov, I. L."],"key":"aloul2003efficient","id":"aloul2003efficient","bibbaseid":"aloul-sakallah-markov-efficientsymmetrybreakingforbooleansatisfiability-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":["efficient","symmetry","breaking","boolean","satisfiability","aloul","sakallah","markov"],"title":"Efficient Symmetry Breaking for Boolean Satisfiability","year":2003}