{"_id":"G6C8wxEXhW5bgBxgY","bibbaseid":"aloul-ramani-sakallah-markov-symmetrybreakingforpseudobooleanformulas-2008","author_short":["Aloul, F. A.","Ramani, A.","Sakallah, K. A.","Markov, I. L."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Aloul"],"firstnames":["Fadi","A."],"suffixes":[]},{"propositions":[],"lastnames":["Ramani"],"firstnames":["Arathi"],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]},{"propositions":[],"lastnames":["Markov"],"firstnames":["Igor","L."],"suffixes":[]}],"title":"Symmetry Breaking for Pseudo-Boolean Formulas","journal":"ACM Journal of Experimental Algorithms","volume":"12","number":"Article No. 1.3","pages":"1-14","month":"June","year":"2008","bibtex":"@article{aloul2008symmetry,\n author = {Aloul, Fadi A. and Ramani, Arathi and Sakallah, Karem A. and Markov, Igor L.},\n title = {{Symmetry Breaking for Pseudo-Boolean Formulas}},\n journal = {ACM Journal of Experimental Algorithms},\n volume = {12},\n number = {Article No. 1.3},\n pages = {1-14},\n month = {June},\n year = {2008}\n}\n\n","author_short":["Aloul, F. A.","Ramani, A.","Sakallah, K. A.","Markov, I. L."],"key":"aloul2008symmetry","id":"aloul2008symmetry","bibbaseid":"aloul-ramani-sakallah-markov-symmetrybreakingforpseudobooleanformulas-2008","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":["symmetry","breaking","pseudo","boolean","formulas","aloul","ramani","sakallah","markov"],"title":"Symmetry Breaking for Pseudo-Boolean Formulas","year":2008}