@inproceedings{aloul2003symmetry,
   author = {Aloul, Fadi A. and Ramani, Arathi and Markov, Igor L. and Sakallah, Karem A.},
   title = {{Symmetry-Breaking for Pseudo-Boolean Formulas}},
   booktitle = {Third International Workshop on Symmetry in Constraint Satisfaction Problems, Held in conjunction with Ninth International Conference on Principles and Practice of Constraint Programming, CP'03},
   address = {County Cork, Ireland},
   pages = {1-12},
   month = {September 29},
   year = {2003}

}

{"_id":"sQ475sMYHkW6sxp6x","bibbaseid":"aloul-ramani-markov-sakallah-symmetrybreakingforpseudobooleanformulas-2003","author_short":["Aloul, F. A.","Ramani, A.","Markov, I. L.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":"Symmetry-Breaking for Pseudo-Boolean Formulas","booktitle":"Third International Workshop on Symmetry in Constraint Satisfaction Problems, Held in conjunction with Ninth International Conference on Principles and Practice of Constraint Programming, CP'03","address":"County Cork, Ireland","pages":"1-12","month":"September 29","year":"2003","bibtex":"@inproceedings{aloul2003symmetry,\n author = {Aloul, Fadi A. and Ramani, Arathi and Markov, Igor L. and Sakallah, Karem A.},\n title = {{Symmetry-Breaking for Pseudo-Boolean Formulas}},\n booktitle = {Third International Workshop on Symmetry in Constraint Satisfaction Problems, Held in conjunction with Ninth International Conference on Principles and Practice of Constraint Programming, CP'03},\n address = {County Cork, Ireland},\n pages = {1-12},\n month = {September 29},\n year = {2003}\n\n}\n\n","author_short":["Aloul, F. A.","Ramani, A.","Markov, I. L.","Sakallah, K. A."],"key":"aloul2003symmetry","id":"aloul2003symmetry","bibbaseid":"aloul-ramani-markov-sakallah-symmetrybreakingforpseudobooleanformulas-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":["symmetry","breaking","pseudo","boolean","formulas","aloul","ramani","markov","sakallah"],"title":"Symmetry-Breaking for Pseudo-Boolean Formulas","year":2003}