@InProceedings{DBLP:conf/cade/FazekasBB18,
  Title                    = {Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo
 Theories},
  Author                   = {Katalin Fazekas and
 Fahiem Bacchus and
 Armin Biere},
  Booktitle                = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
 UK, July 14-17, 2018, Proceedings},
  Year                     = {2018},
  Pages                    = {134--151},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cade/FazekasBB18},
  Doi                      = {10.1007/978-3-319-94205-6\_10},
  Timestamp                = {Mon, 09 Jul 2018 12:59:13 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-94205-6\_10}
}

{"_id":"97dfkDGhYhQ96EKy9","bibbaseid":"fazekas-bacchus-biere-implicithittingsetalgorithmsformaximumsatisfiabilitymodulotheories-2018","downloads":0,"creationDate":"2018-09-20T19:33:15.610Z","title":"Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories","author_short":["Fazekas, K.","Bacchus, F.","Biere, A."],"year":2018,"bibtype":"inproceedings","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories","author":[{"firstnames":["Katalin"],"propositions":[],"lastnames":["Fazekas"],"suffixes":[]},{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Biere"],"suffixes":[]}],"booktitle":"Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings","year":"2018","pages":"134–151","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/cade/FazekasBB18","doi":"10.1007/978-3-319-94205-6_10","timestamp":"Mon, 09 Jul 2018 12:59:13 +0200","url":"https://doi.org/10.1007/978-3-319-94205-6\\_10","bibtex":"@InProceedings{DBLP:conf/cade/FazekasBB18,\n Title = {Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo\n Theories},\n Author = {Katalin Fazekas and\n Fahiem Bacchus and\n Armin Biere},\n Booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}\n 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,\n UK, July 14-17, 2018, Proceedings},\n Year = {2018},\n Pages = {134--151},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/cade/FazekasBB18},\n Doi = {10.1007/978-3-319-94205-6\\_10},\n Timestamp = {Mon, 09 Jul 2018 12:59:13 +0200},\n Url = {https://doi.org/10.1007/978-3-319-94205-6\\_10}\n}\n\n","author_short":["Fazekas, K.","Bacchus, F.","Biere, A."],"key":"DBLP:conf/cade/FazekasBB18","id":"DBLP:conf/cade/FazekasBB18","bibbaseid":"fazekas-bacchus-biere-implicithittingsetalgorithmsformaximumsatisfiabilitymodulotheories-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-94205-6\\_10"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["implicit","hitting","set","algorithms","maximum","satisfiability","modulo","theories","fazekas","bacchus","biere"],"keywords":[],"authorIDs":[],"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ"]}