@inproceedings{DBLP:conf/ieaaie/Bit-MonnotLPT19,
  author       = {Arthur Bit{-}Monnot and
                  Francesco Leofante and
                  Luca Pulina and
                  Armando Tacchella},
  editor       = {Franz Wotawa and
                  Gerhard Friedrich and
                  Ingo Pill and
                  Roxane Koitz{-}Hristov and
                  Moonis Ali},
  title        = {SMT-based Planning for Robots in Smart Factories},
  booktitle    = {Advances and Trends in Artificial Intelligence. From Theory to Practice
                  - 32nd International Conference on Industrial, Engineering and Other
                  Applications of Applied Intelligent Systems, {IEA/AIE} 2019, Graz,
                  Austria, July 9-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11606},
  pages        = {674--686},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-22999-3\_58},
  doi          = {10.1007/978-3-030-22999-3\_58},
  timestamp    = {Mon, 03 Mar 2025 21:11:57 +0100},
  biburl       = {https://dblp.org/rec/conf/ieaaie/Bit-MonnotLPT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"WBMy8Kiha2vMTvKgn","bibbaseid":"bitmonnot-leofante-pulina-tacchella-smtbasedplanningforrobotsinsmartfactories-2019","authorIDs":["5d9b51d6cdd2a9db0100008a"],"author_short":["Bit-Monnot, A.","Leofante, F.","Pulina, L.","Tacchella, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Arthur"],"propositions":[],"lastnames":["Bit-Monnot"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Leofante"],"suffixes":[]},{"firstnames":["Luca"],"propositions":[],"lastnames":["Pulina"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Tacchella"],"suffixes":[]}],"editor":[{"firstnames":["Franz"],"propositions":[],"lastnames":["Wotawa"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Friedrich"],"suffixes":[]},{"firstnames":["Ingo"],"propositions":[],"lastnames":["Pill"],"suffixes":[]},{"firstnames":["Roxane"],"propositions":[],"lastnames":["Koitz-Hristov"],"suffixes":[]},{"firstnames":["Moonis"],"propositions":[],"lastnames":["Ali"],"suffixes":[]}],"title":"SMT-based Planning for Robots in Smart Factories","booktitle":"Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019, Proceedings","series":"Lecture Notes in Computer Science","volume":"11606","pages":"674–686","publisher":"Springer","year":"2019","url":"https://doi.org/10.1007/978-3-030-22999-3\\_58","doi":"10.1007/978-3-030-22999-3_58","timestamp":"Mon, 03 Mar 2025 21:11:57 +0100","biburl":"https://dblp.org/rec/conf/ieaaie/Bit-MonnotLPT19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ieaaie/Bit-MonnotLPT19,\n author = {Arthur Bit{-}Monnot and\n Francesco Leofante and\n Luca Pulina and\n Armando Tacchella},\n editor = {Franz Wotawa and\n Gerhard Friedrich and\n Ingo Pill and\n Roxane Koitz{-}Hristov and\n Moonis Ali},\n title = {SMT-based Planning for Robots in Smart Factories},\n booktitle = {Advances and Trends in Artificial Intelligence. From Theory to Practice\n - 32nd International Conference on Industrial, Engineering and Other\n Applications of Applied Intelligent Systems, {IEA/AIE} 2019, Graz,\n Austria, July 9-11, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11606},\n pages = {674--686},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-22999-3\\_58},\n doi = {10.1007/978-3-030-22999-3\\_58},\n timestamp = {Mon, 03 Mar 2025 21:11:57 +0100},\n biburl = {https://dblp.org/rec/conf/ieaaie/Bit-MonnotLPT19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bit-Monnot, A.","Leofante, F.","Pulina, L.","Tacchella, A."],"editor_short":["Wotawa, F.","Friedrich, G.","Pill, I.","Koitz-Hristov, R.","Ali, M."],"key":"DBLP:conf/ieaaie/Bit-MonnotLPT19","id":"DBLP:conf/ieaaie/Bit-MonnotLPT19","bibbaseid":"bitmonnot-leofante-pulina-tacchella-smtbasedplanningforrobotsinsmartfactories-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-22999-3\\_58"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/35/5174.bib","creationDate":"2019-10-07T14:54:32.498Z","downloads":0,"keywords":[],"search_terms":["smt","based","planning","robots","smart","factories","bit-monnot","leofante","pulina","tacchella"],"title":"SMT-based Planning for Robots in Smart Factories","year":2019,"dataSources":["a8Fg2czGYtdfQXT7B","erc2rRjg4ZK7Z5Xew"]}