@InProceedings{hueffner01finding,
  author    = {Falk H\"uffner and Stefan Edelkamp and Henning Fernau and Rolf Niedermeier},
  title     = {Finding Optimal Solutions to {Atomix}},
  booktitle = {Proc. of German Conference on Artificial Intelligence (KI 2001)},
  year      = {2001},
  volume    = {2174},
  series    = lncs,
  pages     = {229--243},
  publisher = Springer,
  doi       = {10.1007/3-540-45422-5_17},
  keywords  = {fpt},
}

{"_id":"bQg47G3w5tHwcQyaz","bibbaseid":"hffner-edelkamp-fernau-niedermeier-findingoptimalsolutionstoatomix-2001","downloads":0,"creationDate":"2018-10-01T13:54:48.941Z","title":"Finding Optimal Solutions to Atomix","author_short":["Hüffner, F.","Edelkamp, S.","Fernau, H.","Niedermeier, R."],"year":2001,"bibtype":"inproceedings","biburl":"https://git.bio.informatik.uni-jena.de/fleisch/literature/raw/master/group-literature.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Falk"],"propositions":[],"lastnames":["Hüffner"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Edelkamp"],"suffixes":[]},{"firstnames":["Henning"],"propositions":[],"lastnames":["Fernau"],"suffixes":[]},{"firstnames":["Rolf"],"propositions":[],"lastnames":["Niedermeier"],"suffixes":[]}],"title":"Finding Optimal Solutions to Atomix","booktitle":"Proc. of German Conference on Artificial Intelligence (KI 2001)","year":"2001","volume":"2174","series":"Lect Notes Comput Sci","pages":"229–243","publisher":"Springer, Berlin","doi":"10.1007/3-540-45422-5_17","keywords":"fpt","bibtex":"@InProceedings{hueffner01finding,\n author = {Falk H\\\"uffner and Stefan Edelkamp and Henning Fernau and Rolf Niedermeier},\n title = {Finding Optimal Solutions to {Atomix}},\n booktitle = {Proc. of German Conference on Artificial Intelligence (KI 2001)},\n year = {2001},\n volume = {2174},\n series = lncs,\n pages = {229--243},\n publisher = Springer,\n doi = {10.1007/3-540-45422-5_17},\n keywords = {fpt},\n}\n\n","author_short":["Hüffner, F.","Edelkamp, S.","Fernau, H.","Niedermeier, R."],"key":"hueffner01finding","id":"hueffner01finding","bibbaseid":"hffner-edelkamp-fernau-niedermeier-findingoptimalsolutionstoatomix-2001","role":"author","urls":{},"keyword":["fpt"],"metadata":{"authorlinks":{}}},"search_terms":["finding","optimal","solutions","atomix","hüffner","edelkamp","fernau","niedermeier"],"keywords":["fpt"],"authorIDs":[],"dataSources":["C5FtkvWWggFfMJTFX"]}