@InProceedings{DBLP:conf/sat/BacchusN14,
  Title                    = {Cores in Core Based MaxSat Algorithms: An Analysis},
  Author                   = {Fahiem Bacchus and
 Nina Narodytska},
  Booktitle                = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
 International Conference, Held as Part of the Vienna Summer of Logic,
 {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
  Year                     = {2014},
  Pages                    = {7--15},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/sat/BacchusN14},
  Doi                      = {10.1007/978-3-319-09284-3\_2},
  Timestamp                = {Tue, 23 May 2017 01:08:19 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-09284-3\_2}
}

{"_id":"hcskJSSK6QFzakzx3","bibbaseid":"bacchus-narodytska-coresincorebasedmaxsatalgorithmsananalysis-2014","author_short":["Bacchus, F.","Narodytska, N."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Cores in Core Based MaxSat Algorithms: An Analysis","author":[{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]},{"firstnames":["Nina"],"propositions":[],"lastnames":["Narodytska"],"suffixes":[]}],"booktitle":"Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings","year":"2014","pages":"7–15","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/sat/BacchusN14","doi":"10.1007/978-3-319-09284-3_2","timestamp":"Tue, 23 May 2017 01:08:19 +0200","url":"https://doi.org/10.1007/978-3-319-09284-3\\_2","bibtex":"@InProceedings{DBLP:conf/sat/BacchusN14,\n Title = {Cores in Core Based MaxSat Algorithms: An Analysis},\n Author = {Fahiem Bacchus and\n Nina Narodytska},\n Booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th\n International Conference, Held as Part of the Vienna Summer of Logic,\n {VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},\n Year = {2014},\n Pages = {7--15},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/sat/BacchusN14},\n Doi = {10.1007/978-3-319-09284-3\\_2},\n Timestamp = {Tue, 23 May 2017 01:08:19 +0200},\n Url = {https://doi.org/10.1007/978-3-319-09284-3\\_2}\n}\n\n","author_short":["Bacchus, F.","Narodytska, N."],"key":"DBLP:conf/sat/BacchusN14","id":"DBLP:conf/sat/BacchusN14","bibbaseid":"bacchus-narodytska-coresincorebasedmaxsatalgorithmsananalysis-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-09284-3\\_2"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/kr/publications/list.bib","dataSources":["optQ3PYGE2PxhriFJ"],"keywords":[],"search_terms":["cores","core","based","maxsat","algorithms","analysis","bacchus","narodytska"],"title":"Cores in Core Based MaxSat Algorithms: An Analysis","year":2014}