{"type":"conference","publication_identifier":{"eisbn":["978-1-7281-6389-5"]},"user_id":"255787","publication_status":"published","publication":"2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)","quality_controlled":"1","department":[{"_id":"103"}],"title":"Automated Reconfiguration of Cyber-Physical Production Systems using Satisfiability Modulo Theories","date_created":"2026-05-18T14:13:23Z","year":"2020","_id":"6912","language":[{"iso":"eng"}],"author":[{"last_name":"Balzereit","full_name":"Balzereit, Kaja","first_name":"Kaja"},{"first_name":"Oliver","full_name":"Niggemann, Oliver","last_name":"Niggemann"}],"citation":{"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>.","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>","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.","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","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>","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."},"conference":{"location":"Tampere, Finland","name":"2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)"},"status":"public","doi":"10.1109/ICPS48405.2020.9274707","page":"461-468","publisher":"IEEE","date_updated":"2026-05-18T14:13:35Z"}