[{"department":[{"_id":"103"}],"quality_controlled":"1","title":"Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories","date_created":"2026-05-18T14:13:23Z","user_id":"261203","type":"conference","publication_identifier":{"eisbn":["978-1-7281-6389-5"]},"publication":"2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)","publication_status":"published","conference":{"name":"2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)","location":"Tampere, Finland"},"status":"public","author":[{"full_name":"Balzereit, Kaja","orcid":"0000-0001-9203-5902","last_name":"Balzereit","orcid_put_code_url":"https://api.orcid.org/v2.0/0000-0001-9203-5902/work/215082434","id":"255787","first_name":"Kaja"},{"full_name":"Niggemann, Oliver","last_name":"Niggemann","first_name":"Oliver"}],"citation":{"bibtex":"@inproceedings{Balzereit_Niggemann_2020, title={Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories}, DOI={<a href=\"https://doi.org/10.1109/ICPS48405.2020.9274707\">10.1109/ICPS48405.2020.9274707</a>}, booktitle={2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)}, publisher={IEEE}, author={Balzereit, Kaja and Niggemann, Oliver}, year={2020}, pages={461–468} }","apa":"Balzereit, K., &#38; Niggemann, O. (2020). Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i> (pp. 461–468). Tampere, Finland: IEEE. <a href=\"https://doi.org/10.1109/ICPS48405.2020.9274707\">https://doi.org/10.1109/ICPS48405.2020.9274707</a>","alphadin":"<span style=\"font-variant:small-caps;\">Balzereit, Kaja</span> ; <span style=\"font-variant:small-caps;\">Niggemann, Oliver</span>: Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In: <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i> : IEEE, 2020, S. 461–468","ieee":"K. Balzereit and O. Niggemann, “Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories,” in <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i>, Tampere, Finland, 2020, pp. 461–468.","ama":"Balzereit K, Niggemann O. Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories. In: <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i>. IEEE; 2020:461-468. doi:<a href=\"https://doi.org/10.1109/ICPS48405.2020.9274707\">10.1109/ICPS48405.2020.9274707</a>","mla":"Balzereit, Kaja, and Oliver Niggemann. “Automated Reconfiguration of Cyber-Physical Production Systems Using Satisfiability Modulo Theories.” <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i>, IEEE, 2020, pp. 461–68, doi:<a href=\"https://doi.org/10.1109/ICPS48405.2020.9274707\">10.1109/ICPS48405.2020.9274707</a>.","chicago":"Balzereit, Kaja, and Oliver Niggemann. “Automated Reconfiguration of Cyber-Physical Production Systems Using Satisfiability Modulo Theories.” In <i>2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)</i>, 461–68. IEEE, 2020. <a href=\"https://doi.org/10.1109/ICPS48405.2020.9274707\">https://doi.org/10.1109/ICPS48405.2020.9274707</a>.","short":"K. Balzereit, O. Niggemann, in: 2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS), IEEE, 2020, pp. 461–468."},"page":"461-468","publisher":"IEEE","date_updated":"2026-05-19T09:18:18Z","doi":"10.1109/ICPS48405.2020.9274707","language":[{"iso":"eng"}],"year":"2020","_id":"6912"}]