@inproceedings{liffiton2009generalizing,
   author = {Liffiton, Mark H. and Sakallah, Karem A.},
   title = {{Generalizing Core-Guided Max-SAT}},
   booktitle = {Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT 09)},
   address = {Swansea, UK },
   volume = {LNCS 5584},
   pages = {481-494},
   year = {2009}
}

{"_id":"amkr67kwn4NMXZr4k","bibbaseid":"liffiton-sakallah-generalizingcoreguidedmaxsat-2009","author_short":["Liffiton, M. H.","Sakallah, K. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Liffiton"],"firstnames":["Mark","H."],"suffixes":[]},{"propositions":[],"lastnames":["Sakallah"],"firstnames":["Karem","A."],"suffixes":[]}],"title":"Generalizing Core-Guided Max-SAT","booktitle":"Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT 09)","address":"Swansea, UK ","volume":"LNCS 5584","pages":"481-494","year":"2009","bibtex":"@inproceedings{liffiton2009generalizing,\n author = {Liffiton, Mark H. and Sakallah, Karem A.},\n title = {{Generalizing Core-Guided Max-SAT}},\n booktitle = {Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT 09)},\n address = {Swansea, UK },\n volume = {LNCS 5584},\n pages = {481-494},\n year = {2009}\n}\n\n","author_short":["Liffiton, M. H.","Sakallah, K. A."],"key":"liffiton2009generalizing","id":"liffiton2009generalizing","bibbaseid":"liffiton-sakallah-generalizingcoreguidedmaxsat-2009","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":["generalizing","core","guided","max","sat","liffiton","sakallah"],"title":"Generalizing Core-Guided Max-SAT","year":2009}