@article{aloul2007solution,
   author = {Aloul, Fadi A. and Ramani, Arathi and Sakallah, Karem A. and Markov, Igor L.},
   title = {{Solution and Optimization of Systems of Pseudo-Boolean Constraints}},
   journal = {IEEE Transactions on Computers},
   volume = {56},
   number = {10},
   pages = {1415-1424},
   month = {October},
   year = {2007}
}

{"_id":"F9bHj2hc32orWpfye","bibbaseid":"aloul-ramani-sakallah-markov-solutionandoptimizationofsystemsofpseudobooleanconstraints-2007","downloads":0,"creationDate":"2016-01-22T05:24:50.714Z","title":"Solution and Optimization of Systems of Pseudo-Boolean Constraints","author_short":["Aloul, F. A.","Ramani, A.","Sakallah, K. A.","Markov, I. L."],"year":2007,"bibtype":"article","biburl":"http://web.eecs.umich.edu/~karem/publications/Sakallah-Publications.bib","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":"Solution and Optimization of Systems of Pseudo-Boolean Constraints","journal":"IEEE Transactions on Computers","volume":"56","number":"10","pages":"1415-1424","month":"October","year":"2007","bibtex":"@article{aloul2007solution,\n author = {Aloul, Fadi A. and Ramani, Arathi and Sakallah, Karem A. and Markov, Igor L.},\n title = {{Solution and Optimization of Systems of Pseudo-Boolean Constraints}},\n journal = {IEEE Transactions on Computers},\n volume = {56},\n number = {10},\n pages = {1415-1424},\n month = {October},\n year = {2007}\n}\n\n","author_short":["Aloul, F. A.","Ramani, A.","Sakallah, K. A.","Markov, I. L."],"key":"aloul2007solution","id":"aloul2007solution","bibbaseid":"aloul-ramani-sakallah-markov-solutionandoptimizationofsystemsofpseudobooleanconstraints-2007","role":"author","urls":{},"metadata":{"authorlinks":{"sakallah, k":"https://web.eecs.umich.edu/~karem/publications/"}},"downloads":0,"html":""},"search_terms":["solution","optimization","systems","pseudo","boolean","constraints","aloul","ramani","sakallah","markov"],"keywords":[],"authorIDs":["S82QTbwajuiwoPLtM"],"dataSources":["dAWPbXiJP4ihEN4GZ"]}