@InProceedings{DBLP:conf/cp/BacchusHJS17,
  Title                    = {Reduced Cost Fixing in MaxSAT},
  Author                   = {Fahiem Bacchus and
 Antti Hyttinen and
 Matti J{\"{a}}rvisalo and
 Paul Saikko},
  Booktitle                = {Principles and Practice of Constraint Programming - 23rd International
 Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
 1, 2017, Proceedings},
  Year                     = {2017},
  Pages                    = {641--651},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cp/BacchusHJS17},
  Doi                      = {10.1007/978-3-319-66158-2\_41},
  Timestamp                = {Wed, 23 Aug 2017 10:12:25 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-66158-2\_41}
}

{"_id":"b2siAiMTZp2Akcjxk","bibbaseid":"bacchus-hyttinen-jrvisalo-saikko-reducedcostfixinginmaxsat-2017","author_short":["Bacchus, F.","Hyttinen, A.","Järvisalo, M.","Saikko, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Reduced Cost Fixing in MaxSAT","author":[{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]},{"firstnames":["Antti"],"propositions":[],"lastnames":["Hyttinen"],"suffixes":[]},{"firstnames":["Matti"],"propositions":[],"lastnames":["Järvisalo"],"suffixes":[]},{"firstnames":["Paul"],"propositions":[],"lastnames":["Saikko"],"suffixes":[]}],"booktitle":"Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings","year":"2017","pages":"641–651","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/cp/BacchusHJS17","doi":"10.1007/978-3-319-66158-2_41","timestamp":"Wed, 23 Aug 2017 10:12:25 +0200","url":"https://doi.org/10.1007/978-3-319-66158-2\\_41","bibtex":"@InProceedings{DBLP:conf/cp/BacchusHJS17,\n Title = {Reduced Cost Fixing in MaxSAT},\n Author = {Fahiem Bacchus and\n Antti Hyttinen and\n Matti J{\\\"{a}}rvisalo and\n Paul Saikko},\n Booktitle = {Principles and Practice of Constraint Programming - 23rd International\n Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September\n 1, 2017, Proceedings},\n Year = {2017},\n Pages = {641--651},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/cp/BacchusHJS17},\n Doi = {10.1007/978-3-319-66158-2\\_41},\n Timestamp = {Wed, 23 Aug 2017 10:12:25 +0200},\n Url = {https://doi.org/10.1007/978-3-319-66158-2\\_41}\n}\n\n","author_short":["Bacchus, F.","Hyttinen, A.","Järvisalo, M.","Saikko, P."],"key":"DBLP:conf/cp/BacchusHJS17","id":"DBLP:conf/cp/BacchusHJS17","bibbaseid":"bacchus-hyttinen-jrvisalo-saikko-reducedcostfixinginmaxsat-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-66158-2\\_41"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/kr/publications/list.bib","dataSources":["optQ3PYGE2PxhriFJ"],"keywords":[],"search_terms":["reduced","cost","fixing","maxsat","bacchus","hyttinen","järvisalo","saikko"],"title":"Reduced Cost Fixing in MaxSAT","year":2017}