@article{sheini2006pueblo,
   author = {Sheini, Hossein M. and Sakallah, Karem A.},
   title = {{Pueblo: A Hybrid Pseudo-Boolean SAT Solver}},
   journal = {Journal on Satisfiability, Boolean Modeling and Computation (JSAT)},
   volume = {2},
   pages = {165-189},
   month = {March},
   year = {2006}
}

{"_id":"dePsJHrrPiFop3bGB","bibbaseid":"sheini-sakallah-puebloahybridpseudobooleansatsolver-2006","author_short":["Sheini, H. M.","Sakallah, K. A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sheini"],"firstnames":["Hossein","M."],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"Pueblo: A Hybrid Pseudo-Boolean SAT Solver","journal":"Journal on Satisfiability, Boolean Modeling and Computation (JSAT)","volume":"2","pages":"165-189","month":"March","year":"2006","bibtex":"@article{sheini2006pueblo,\n author = {Sheini, Hossein M. and Sakallah, Karem A.},\n title = {{Pueblo: A Hybrid Pseudo-Boolean SAT Solver}},\n journal = {Journal on Satisfiability, Boolean Modeling and Computation (JSAT)},\n volume = {2},\n pages = {165-189},\n month = {March},\n year = {2006}\n}\n\n","author_short":["Sheini, H. M.","Sakallah, K. A."],"key":"sheini2006pueblo","id":"sheini2006pueblo","bibbaseid":"sheini-sakallah-puebloahybridpseudobooleansatsolver-2006","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":["pueblo","hybrid","pseudo","boolean","sat","solver","sheini","sakallah"],"title":"Pueblo: A Hybrid Pseudo-Boolean SAT Solver","year":2006}