@InProceedings{DBLP:conf/cp/DaviesB13,
  Title                    = {Postponing Optimization to Speed Up {MAXSAT} Solving},
  Author                   = {Jessica Davies and
 Fahiem Bacchus},
  Booktitle                = {Principles and Practice of Constraint Programming - 19th International
 Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
  Year                     = {2013},
  Pages                    = {247--262},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cp/DaviesB13},
  Doi                      = {10.1007/978-3-642-40627-0\_21},
  Timestamp                = {Tue, 26 Dec 2017 15:02:23 +0100},
  Url                      = {https://doi.org/10.1007/978-3-642-40627-0\_21}
}

{"_id":"PSpv8GTgZiatc7yQw","bibbaseid":"davies-bacchus-postponingoptimizationtospeedupmaxsatsolving-2013","downloads":0,"creationDate":"2018-09-20T19:33:15.628Z","title":"Postponing Optimization to Speed Up MAXSAT Solving","author_short":["Davies, J.","Bacchus, F."],"year":2013,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Postponing Optimization to Speed Up MAXSAT Solving","author":[{"firstnames":["Jessica"],"propositions":[],"lastnames":["Davies"],"suffixes":[]},{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]}],"booktitle":"Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings","year":"2013","pages":"247–262","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/cp/DaviesB13","doi":"10.1007/978-3-642-40627-0_21","timestamp":"Tue, 26 Dec 2017 15:02:23 +0100","url":"https://doi.org/10.1007/978-3-642-40627-0\\_21","bibtex":"@InProceedings{DBLP:conf/cp/DaviesB13,\n Title = {Postponing Optimization to Speed Up {MAXSAT} Solving},\n Author = {Jessica Davies and\n Fahiem Bacchus},\n Booktitle = {Principles and Practice of Constraint Programming - 19th International\n Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},\n Year = {2013},\n Pages = {247--262},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/cp/DaviesB13},\n Doi = {10.1007/978-3-642-40627-0\\_21},\n Timestamp = {Tue, 26 Dec 2017 15:02:23 +0100},\n Url = {https://doi.org/10.1007/978-3-642-40627-0\\_21}\n}\n\n","author_short":["Davies, J.","Bacchus, F."],"key":"DBLP:conf/cp/DaviesB13","id":"DBLP:conf/cp/DaviesB13","bibbaseid":"davies-bacchus-postponingoptimizationtospeedupmaxsatsolving-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-40627-0\\_21"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["postponing","optimization","speed","maxsat","solving","davies","bacchus"],"keywords":[],"authorIDs":[],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}