TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - MacIntyre, John ED - Maglogiannis, Ilias ED - Iliadis, Lazaros S. ED - Pimenidis, Elias T1 - Solving the Talent Scheduling Problem by Parallel Constraint Programming T2 - Artificial Intelligence Applications and Innovations - 15th IFIP WG 12.5 International Conference, AIAI 2019 KW - Constraint Programming Y1 - 2019 UR - https://link.springer.com/chapter/10.1007/978-3-030-19823-7_19 SN - 978-3-030-19822-0 SN - 978-3-030-19823-7 U6 - https://doi.org/10.1007/978-3-030-19823-7_19 SN - 1868-4238 SN - 1868-422X SP - 236 EP - 244 PB - Springer ER - TY - CHAP A1 - Hofstedt, Petra A1 - John, Ulrich A1 - Wolf, Armin ED - Eibl, Maximilian ED - Gaedke, Martin T1 - MOC 2017 – 9. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme T2 - 47. Jahrestagung der Gesellschaft für Informatik, Informatik 2017 KW - Deklarative Programmierung Y1 - 2017 UR - https://dl.gi.de/handle/20.500.12116/4076 SN - 978-3-88579-669-5 U6 - https://doi.org/10.18420/in2017_56 SN - 1617-5468 PB - GI CY - Bonn ER - TY - THES A1 - Vörtler, Thilo T1 - Verification of software for Contiki-based low-power embedded systems using software model checking Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-44080 ER - TY - THES A1 - Prenzel, Anna T1 - Gestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterstützung in Planungssystemen Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-45278 ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra T1 - Parallel Stochastic Portfolio Search for Constraint Solving T2 - 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom) KW - Constraint Programming KW - Parallel Search Y1 - 2019 UR - https://ieeexplore.ieee.org/xpl/conhome/9036029/proceeding SN - 978-1-7281-4328-6 SN - 978-1-7281-4329-3 U6 - https://doi.org/10.1109/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00106 SP - 697 EP - 704 PB - IEEE ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Hofstedt, Petra ED - Abreu, Salvador ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - Exploring Properties of Icosoku by Constraint Satisfaction Approach T2 - Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers KW - Constraint Programming Y1 - 2020 SN - 978-3-030-46713-5 SN - 978-3-030-46714-2 U6 - https://doi.org/10.1007/978-3-030-46714-2_7 SN - 0302-9743 SN - 1611-3349 SP - 99 EP - 105 PB - Springer CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Hofstedt, Petra ED - Abreu, Salvador ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - The Regularization of Small Sub-Constraint Satisfaction Problems T2 - Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers KW - Constraint Programming Y1 - 2020 SN - 978-3-030-46713-5 SN - 978-3-030-46714-2 U6 - https://doi.org/10.1007/978-3-030-46714-2_8 SN - 0302-9743 SN - 1611-3349 SP - 106 EP - 115 PB - Springer CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Schmid, Ute ED - Klügl, Franziska ED - Wolter, Diedrich T1 - Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem T2 - KI 2020: Advances in Artificial Intelligence, 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020 KW - Constraint Programming KW - Reformulation Y1 - 2020 SN - 978-3-030-58284-5 SN - 978-3-030-58285-2 U6 - https://doi.org/10.1007/978-3-030-58285-2_26 SN - 0302-9743 SN - 1611-3349 SP - 297 EP - 304 PB - Springer CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach T2 - Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020-(Volume 2), February 22-24, 2020, in Valletta, Malta KW - Constraint Programming Y1 - 2020 UR - https://www.scitepress.org/Link.aspx?doi=10.5220/0008880403310338 SN - 978-989-758-395-7 U6 - https://doi.org/10.5220/0008880403310338 SP - 331 EP - 338 PB - SciTePress CY - Setubal ER - TY - GEN A1 - Bels, Maximilian A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - van den Herik, H. Jaap T1 - Constraint-Based Filtering and Evaluation of CSP Search Trees T2 - Proceedings of the 15th International Conference on Agents and Artificial Intelligence - ICAART 2023, Volume 3 KW - Constraint Programming KW - Artificial Intelligence Y1 - 2023 SN - 978-989-758-623-1 U6 - https://doi.org/10.5220/0011641100003393 SP - 220 EP - 227 PB - Scitepress ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra A1 - Nitze, Andre A1 - Hennig, Silvia A1 - Klinge, Alexander ED - Klein, Maike ED - Krupka, Daniel ED - Winter, Cornelia ED - Wohlgemuth, Volker T1 - Planung des Ländlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen T2 - Informatik 2023 : Designing Futures - Zukünfte gestalten : 26.-29. September 2023, Berlin Y1 - 2023 SN - 978-3-88579-731-9 U6 - https://doi.org/10.18420/inf2023_177 SP - 1739 EP - 1750 PB - Gesellschaft für Informatik e.V. CY - Berlin ER - TY - THES A1 - Löffler, Sven T1 - Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs) Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-61490 CY - Cottbus ER - TY - RPRT A1 - Hofstedt, Petra A1 - Schwigon, S. T1 - Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme Y1 - 1997 N1 - TUD-FI-97-08 PB - Techn. Univ. CY - Dresden ER - TY - CHAP A1 - Hofstedt, Petra A1 - Löffler, Sven ED - Görz, Günther ED - Schmid, Ute ED - Braun, Tanya T1 - Constraints T2 - Handbuch der künstlichen Intelligenz KW - Constraints Y1 - 2021 UR - https://www.degruyter.com/view/title/558044 SN - 978-3-11-065984-9 SN - 978-3-11-065994-8 SN - 978-3-11-065995-5 U6 - https://doi.org/10.1515/9783110659948-016 SP - 713 EP - 754 PB - De Gruyter CY - Berlin, Boston ET - 6. Auflage ER - TY - CHAP A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Kaltschmidt, Sascha A1 - Sauer, Peter A1 - Vörtler, Thilo T1 - Design Space Exploration for Cyber Physical System Design using Constraint Solving T2 - The 2013 Forum on specification & Design Languages (FDL), Paris, France, September 24-26, 2013 Y1 - 2013 PB - IEEE ER - TY - CHAP A1 - Vörtler, Thilo A1 - Rülke, Steffen A1 - Hofstedt, Petra T1 - Bounded Model Checking of Contiki Applications T2 - 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012 Y1 - 2012 SN - 978-1-4673-1187-8 SP - 258 EP - 261 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Hofstedt, Petra A1 - Hower, Walter A1 - John, Ulrich A1 - Kmoch, Andreas A1 - Wolf, Armin ED - Cunningham, Douglas W. ED - Hofstedt, Petra ED - Meer, Klaus ED - Schmitt, Ingo T1 - Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion T2 - Informatik 2015, Tagung vom 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 SP - 1135 EP - 1138 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Hofstedt, Petra A1 - John, Ulrich A1 - Wolf, Armin T1 - MOC 2015 - 7. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme T2 - Informatik 2015, Tagung vom 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 SP - 1045 EP - 1046 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. März 2015 Y1 - 2015 SN - 978-3-00-048889-4 SP - 20 EP - 29 PB - Technische Universität CY - Chemnitz ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formal Verification of Software for the Contiki Operating System Considering Interrupts T2 - 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015 Y1 - 2015 SN - 978-1-4799-6780-3 U6 - https://doi.org/10.1109/DDECS.2015.59 SP - 295 EP - 298 PB - IEEE CY - Piscataway, NJ ER -