@InProceedings{DBLP:conf/cpaior/BacchusK16,
  Title                    = {Finding a Collection of MUSes Incrementally},
  Author                   = {Fahiem Bacchus and
 George Katsirelos},
  Booktitle                = {Integration of {AI} and {OR} Techniques in Constraint Programming
 - 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
 May 29 - June 1, 2016, Proceedings},
  Year                     = {2016},
  Pages                    = {35--44},

  Bibsource                = {dblp computer science bibliography, https://dblp.org},
  Biburl                   = {https://dblp.org/rec/bib/conf/cpaior/BacchusK16},
  Doi                      = {10.1007/978-3-319-33954-2\_3},
  Timestamp                = {Wed, 17 May 2017 14:24:39 +0200},
  Url                      = {https://doi.org/10.1007/978-3-319-33954-2\_3}
}

{"_id":"fcfywTFuYC4NWyjey","bibbaseid":"bacchus-katsirelos-findingacollectionofmusesincrementally-2016","author_short":["Bacchus, F.","Katsirelos, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Finding a Collection of MUSes Incrementally","author":[{"firstnames":["Fahiem"],"propositions":[],"lastnames":["Bacchus"],"suffixes":[]},{"firstnames":["George"],"propositions":[],"lastnames":["Katsirelos"],"suffixes":[]}],"booktitle":"Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings","year":"2016","pages":"35–44","bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/bib/conf/cpaior/BacchusK16","doi":"10.1007/978-3-319-33954-2_3","timestamp":"Wed, 17 May 2017 14:24:39 +0200","url":"https://doi.org/10.1007/978-3-319-33954-2\\_3","bibtex":"@InProceedings{DBLP:conf/cpaior/BacchusK16,\n Title = {Finding a Collection of MUSes Incrementally},\n Author = {Fahiem Bacchus and\n George Katsirelos},\n Booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming\n - 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,\n May 29 - June 1, 2016, Proceedings},\n Year = {2016},\n Pages = {35--44},\n\n Bibsource = {dblp computer science bibliography, https://dblp.org},\n Biburl = {https://dblp.org/rec/bib/conf/cpaior/BacchusK16},\n Doi = {10.1007/978-3-319-33954-2\\_3},\n Timestamp = {Wed, 17 May 2017 14:24:39 +0200},\n Url = {https://doi.org/10.1007/978-3-319-33954-2\\_3}\n}\n\n","author_short":["Bacchus, F.","Katsirelos, G."],"key":"DBLP:conf/cpaior/BacchusK16","id":"DBLP:conf/cpaior/BacchusK16","bibbaseid":"bacchus-katsirelos-findingacollectionofmusesincrementally-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-33954-2\\_3"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/kr/publications/list.bib","dataSources":["optQ3PYGE2PxhriFJ"],"keywords":[],"search_terms":["finding","collection","muses","incrementally","bacchus","katsirelos"],"title":"Finding a Collection of MUSes Incrementally","year":2016}