@InProceedings{DBLP:conf/ijcai/BacchusHJS18,
  Title                    = {Reduced Cost Fixing for Maximum Satisfiability},
  Author                   = {Fahiem Bacchus and
 Antti Hyttinen and
 Matti J{\"{a}}rvisalo and
 Paul Saikko},
  Booktitle                = {Proceedings of the Twenty-Seventh International Joint Conference on
 Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
 Sweden.},
  Year                     = {2018},
  Pages                    = {5209--5213},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/ijcai/BacchusHJS18},
  Doi                      = {10.24963/ijcai.2018/723},
  Timestamp                = {Sat, 28 Jul 2018 14:39:21 +0200},
  Url                      = {https://doi.org/10.24963/ijcai.2018/723}
}

{"_id":"rNB9gmoAAj2MSLsLn","bibbaseid":"bacchus-hyttinen-jrvisalo-saikko-reducedcostfixingformaximumsatisfiability-2018","author_short":["Bacchus, F.","Hyttinen, A.","Järvisalo, M.","Saikko, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Reduced Cost Fixing for Maximum Satisfiability","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":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.","year":"2018","pages":"5209–5213","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/ijcai/BacchusHJS18","doi":"10.24963/ijcai.2018/723","timestamp":"Sat, 28 Jul 2018 14:39:21 +0200","url":"https://doi.org/10.24963/ijcai.2018/723","bibtex":"@InProceedings{DBLP:conf/ijcai/BacchusHJS18,\n Title = {Reduced Cost Fixing for Maximum Satisfiability},\n Author = {Fahiem Bacchus and\n Antti Hyttinen and\n Matti J{\\\"{a}}rvisalo and\n Paul Saikko},\n Booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on\n Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,\n Sweden.},\n Year = {2018},\n Pages = {5209--5213},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/ijcai/BacchusHJS18},\n Doi = {10.24963/ijcai.2018/723},\n Timestamp = {Sat, 28 Jul 2018 14:39:21 +0200},\n Url = {https://doi.org/10.24963/ijcai.2018/723}\n}\n\n","author_short":["Bacchus, F.","Hyttinen, A.","Järvisalo, M.","Saikko, P."],"key":"DBLP:conf/ijcai/BacchusHJS18","id":"DBLP:conf/ijcai/BacchusHJS18","bibbaseid":"bacchus-hyttinen-jrvisalo-saikko-reducedcostfixingformaximumsatisfiability-2018","role":"author","urls":{"Paper":"https://doi.org/10.24963/ijcai.2018/723"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/kr/publications/list.bib","dataSources":["optQ3PYGE2PxhriFJ"],"keywords":[],"search_terms":["reduced","cost","fixing","maximum","satisfiability","bacchus","hyttinen","järvisalo","saikko"],"title":"Reduced Cost Fixing for Maximum Satisfiability","year":2018}