@InProceedings{DBLP:conf/aaai/NarodytskaB14,
  Title                    = {Maximum Satisfiability Using Core-Guided MaxSAT Resolution},
  Author                   = {Nina Narodytska and
 Fahiem Bacchus},
  Booktitle                = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
 July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  Year                     = {2014},
  Pages                    = {2717--2723},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/aaai/NarodytskaB14},
  Timestamp                = {Thu, 31 Jul 2014 08:59:54 +0200},
  Url                      = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8513}
}

{"_id":"QhQTM9PYJxLMi3LYW","bibbaseid":"narodytska-bacchus-maximumsatisfiabilityusingcoreguidedmaxsatresolution-2014","downloads":0,"creationDate":"2018-09-20T19:33:15.623Z","title":"Maximum Satisfiability Using Core-Guided MaxSAT Resolution","author_short":["Narodytska, N.","Bacchus, F."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Maximum Satisfiability Using Core-Guided MaxSAT Resolution","author":[{"firstnames":["Nina"],"propositions":[],"lastnames":["Narodytska"],"suffixes":[]},{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]}],"booktitle":"Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.","year":"2014","pages":"2717–2723","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/aaai/NarodytskaB14","timestamp":"Thu, 31 Jul 2014 08:59:54 +0200","url":"http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8513","bibtex":"@InProceedings{DBLP:conf/aaai/NarodytskaB14,\n Title = {Maximum Satisfiability Using Core-Guided MaxSAT Resolution},\n Author = {Nina Narodytska and\n Fahiem Bacchus},\n Booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,\n July 27 -31, 2014, Qu{\\'{e}}bec City, Qu{\\'{e}}bec, Canada.},\n Year = {2014},\n Pages = {2717--2723},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/aaai/NarodytskaB14},\n Timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},\n Url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8513}\n}\n\n","author_short":["Narodytska, N.","Bacchus, F."],"key":"DBLP:conf/aaai/NarodytskaB14","id":"DBLP:conf/aaai/NarodytskaB14","bibbaseid":"narodytska-bacchus-maximumsatisfiabilityusingcoreguidedmaxsatresolution-2014","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8513"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["maximum","satisfiability","using","core","guided","maxsat","resolution","narodytska","bacchus"],"keywords":[],"authorIDs":[],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}