@misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Solving the Talent Scheduling Problem by Parallel Constraint Programming}, series = {Artificial Intelligence Applications and Innovations - 15th IFIP WG 12.5 International Conference, AIAI 2019}, journal = {Artificial Intelligence Applications and Innovations - 15th IFIP WG 12.5 International Conference, AIAI 2019}, editor = {MacIntyre, John and Maglogiannis, Ilias and Iliadis, Lazaros S. and Pimenidis, Elias}, publisher = {Springer}, isbn = {978-3-030-19822-0}, issn = {1868-4238}, doi = {10.1007/978-3-030-19823-7_19}, pages = {236 -- 244}, language = {en} } @incollection{HofstedtJohnWolf, author = {Hofstedt, Petra and John, Ulrich and Wolf, Armin}, title = {MOC 2017 - 9. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme}, series = {47. Jahrestagung der Gesellschaft f{\"u}r Informatik, Informatik 2017}, booktitle = {47. Jahrestagung der Gesellschaft f{\"u}r Informatik, Informatik 2017}, editor = {Eibl, Maximilian and Gaedke, Martin}, publisher = {GI}, address = {Bonn}, isbn = {978-3-88579-669-5}, issn = {1617-5468}, doi = {10.18420/in2017_56}, pages = {2}, language = {de} } @phdthesis{Voertler, author = {V{\"o}rtler, Thilo}, title = {Verification of software for Contiki-based low-power embedded systems using software model checking}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-44080}, pages = {165}, language = {en} } @phdthesis{Prenzel, author = {Prenzel, Anna}, title = {Gestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterst{\"u}tzung in Planungssystemen}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-45278}, pages = {285}, language = {de} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Parallel Stochastic Portfolio Search for Constraint Solving}, series = {2019 IEEE Intl Conf on Parallel \& Distributed Processing with Applications, Big Data \& Cloud Computing, Sustainable Computing \& Communications, Social Computing \& Networking (ISPA/BDCloud/SocialCom/SustainCom)}, journal = {2019 IEEE Intl Conf on Parallel \& Distributed Processing with Applications, Big Data \& Cloud Computing, Sustainable Computing \& Communications, Social Computing \& Networking (ISPA/BDCloud/SocialCom/SustainCom)}, publisher = {IEEE}, isbn = {978-1-7281-4328-6}, doi = {10.1109/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00106}, pages = {697 -- 704}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Exploring Properties of Icosoku by Constraint Satisfaction Approach}, series = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, journal = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, editor = {Hofstedt, Petra and Abreu, Salvador and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-46713-5}, issn = {0302-9743}, doi = {10.1007/978-3-030-46714-2_7}, pages = {99 -- 105}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {The Regularization of Small Sub-Constraint Satisfaction Problems}, series = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, journal = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, editor = {Hofstedt, Petra and Abreu, Salvador and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-46713-5}, issn = {0302-9743}, doi = {10.1007/978-3-030-46714-2_8}, pages = {106 -- 115}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Optimizing Constraint Satisfaction Problems by Regularization for the Sample Case of the Warehouse Location Problem}, series = {KI 2020: Advances in Artificial Intelligence, 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020}, journal = {KI 2020: Advances in Artificial Intelligence, 43rd German Conference on AI, Bamberg, Germany, September 21-25, 2020}, editor = {Schmid, Ute and Kl{\"u}gl, Franziska and Wolter, Diedrich}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-58284-5}, issn = {0302-9743}, doi = {10.1007/978-3-030-58285-2_26}, pages = {297 -- 304}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach}, series = {Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020-(Volume 2), February 22-24, 2020, in Valletta, Malta}, journal = {Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020-(Volume 2), February 22-24, 2020, in Valletta, Malta}, editor = {Rocha, Ana Paula and Steels, Luc and Herik, Jaap van den}, publisher = {SciTePress}, address = {Setubal}, isbn = {978-989-758-395-7}, doi = {10.5220/0008880403310338}, pages = {331 -- 338}, language = {en} } @misc{BelsLoefflerBeckeretal., author = {Bels, Maximilian and L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {Constraint-Based Filtering and Evaluation of CSP Search Trees}, series = {Proceedings of the 15th International Conference on Agents and Artificial Intelligence - ICAART 2023, Volume 3}, journal = {Proceedings of the 15th International Conference on Agents and Artificial Intelligence - ICAART 2023, Volume 3}, editor = {Rocha, Ana Paula and Steels, Luc and van den Herik, H. Jaap}, publisher = {Scitepress}, isbn = {978-989-758-623-1}, doi = {10.5220/0011641100003393}, pages = {220 -- 227}, language = {en} } @misc{LoefflerBeckerHofstedtetal., author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra and Nitze, Andre and Hennig, Silvia and Klinge, Alexander}, title = {Planung des L{\"a}ndlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen}, series = {Informatik 2023 : Designing Futures - Zuk{\"u}nfte gestalten : 26.-29. September 2023, Berlin}, journal = {Informatik 2023 : Designing Futures - Zuk{\"u}nfte gestalten : 26.-29. September 2023, Berlin}, editor = {Klein, Maike and Krupka, Daniel and Winter, Cornelia and Wohlgemuth, Volker}, publisher = {Gesellschaft f{\"u}r Informatik e.V.}, address = {Berlin}, isbn = {978-3-88579-731-9}, doi = {10.18420/inf2023_177}, pages = {1739 -- 1750}, language = {de} } @phdthesis{Loeffler, author = {L{\"o}ffler, Sven}, title = {Optimierung und Regularisierung von Constraint Satisfaction-Problemen (CSPs)}, address = {Cottbus}, doi = {10.26127/BTUOpen-6149}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-61490}, pages = {276}, language = {de} } @techreport{HofstedtSchwigon, author = {Hofstedt, Petra and Schwigon, S.}, title = {Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme}, publisher = {Techn. Univ.}, address = {Dresden}, pages = {39}, language = {de} } @incollection{HofstedtLoeffler, author = {Hofstedt, Petra and L{\"o}ffler, Sven}, title = {Constraints}, series = {Handbuch der k{\"u}nstlichen Intelligenz}, booktitle = {Handbuch der k{\"u}nstlichen Intelligenz}, editor = {G{\"o}rz, G{\"u}nther and Schmid, Ute and Braun, Tanya}, edition = {6. Auflage}, publisher = {De Gruyter}, address = {Berlin, Boston}, isbn = {978-3-11-065984-9}, doi = {10.1515/9783110659948-016}, pages = {713 -- 754}, language = {de} } @inproceedings{HoecknerHofstedtKaltschmidtetal., author = {H{\"o}ckner, Benny and Hofstedt, Petra and Kaltschmidt, Sascha and Sauer, Peter and V{\"o}rtler, Thilo}, title = {Design Space Exploration for Cyber Physical System Design using Constraint Solving}, series = {The 2013 Forum on specification \& Design Languages (FDL), Paris, France, September 24-26, 2013}, booktitle = {The 2013 Forum on specification \& Design Languages (FDL), Paris, France, September 24-26, 2013}, publisher = {IEEE}, pages = {4}, language = {en} } @inproceedings{VoertlerRuelkeHofstedt, author = {V{\"o}rtler, Thilo and R{\"u}lke, Steffen and Hofstedt, Petra}, title = {Bounded Model Checking of Contiki Applications}, series = {15th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012}, booktitle = {15th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems (DDECS 2012), Tallin, Estonia, 18 - 20 April 2012}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-4673-1187-8}, pages = {258 -- 261}, language = {en} } @inproceedings{HofstedtHowerJohnetal., author = {Hofstedt, Petra and Hower, Walter and John, Ulrich and Kmoch, Andreas and Wolf, Armin}, title = {Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgew{\"a}hlte Herausforderungen und Potenziale f{\"u}r die n{\"a}chsten Jahre - zur Diskussion}, series = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, booktitle = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, editor = {Cunningham, Douglas W. and Hofstedt, Petra and Meer, Klaus and Schmitt, Ingo}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-640-4}, pages = {1135 -- 1138}, language = {de} } @inproceedings{HofstedtJohnWolf, author = {Hofstedt, Petra and John, Ulrich and Wolf, Armin}, title = {MOC 2015 - 7. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme}, series = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, booktitle = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-640-4}, pages = {1045 -- 1046}, language = {de} } @inproceedings{VoertlerHoecknerHofstedtetal., author = {V{\"o}rtler, Thilo and H{\"o}ckner, Benny and Hofstedt, Petra and Klotz, Thomas}, title = {Formale Verifikation von eingebetteter Software f{\"u}r das Betriebssystem Contiki unter Ber{\"u}cksichtigung von Interrupts}, series = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. M{\"a}rz 2015}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. M{\"a}rz 2015}, publisher = {Technische Universit{\"a}t}, address = {Chemnitz}, isbn = {978-3-00-048889-4}, pages = {20 -- 29}, language = {de} } @inproceedings{VoertlerHoecknerHofstedtetal., author = {V{\"o}rtler, Thilo and H{\"o}ckner, Benny and Hofstedt, Petra and Klotz, Thomas}, title = {Formal Verification of Software for the Contiki Operating System Considering Interrupts}, series = {18th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems, DDECS 2015}, booktitle = {18th International Symposium on Design and Diagnostics of Electronic Circuits \& Systems, DDECS 2015}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-4799-6780-3}, doi = {10.1109/DDECS.2015.59}, pages = {295 -- 298}, language = {en} } @inproceedings{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {Configurable Resource Models for Treatment Planning in the Medical Domain}, series = {8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014}, booktitle = {8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014}, publisher = {ICST}, address = {Br{\"u}ssel}, isbn = {978-1-63190-053-2}, doi = {10.4108/icst.bict.2014.257907}, pages = {344 -- 347}, language = {en} } @inproceedings{SauerSchneeweissHofstedt, author = {Sauer, Peter and Schneeweiss, Denny and Hofstedt, Petra}, title = {Divide \& Conquer - Komplexe Constraint-Probleme durch Aufteilen l{\"o}sen}, series = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, booktitle = {Informatik 2015, Tagung vom 28. September - 2. Oktober 2015 in Cottbus}, editor = {Cunningham, Douglas W. and Hofstedt, Petra and Meer, Klaus and Schmitt, Ingo}, publisher = {Gesellschaft f{\"u}r Informatik}, address = {Bonn}, isbn = {978-3-88579-640-4}, pages = {1047 -- 1060}, language = {en} } @inproceedings{LorenzHofstedtSchneideretal., author = {Lorenz, Jacob and Hofstedt, Petra and Schneider, Stefan-Alexander and Mai, Pierre R.}, title = {Semi-Automatic Compliance Audits for Implementations of FMI for Co-Simulation}, series = {Conference proceedings of the 17th ITI symposium, International Congress Center Dresden, November 3 - 5, 2014}, booktitle = {Conference proceedings of the 17th ITI symposium, International Congress Center Dresden, November 3 - 5, 2014}, publisher = {ITI GmbH}, address = {Dresden}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Using Hypertree Decomposition for Parallel Constraint Solving}, series = {Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland}, journal = {Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland}, editor = {Eibl, Maximilian and Gaedke, Martin}, publisher = {Gesellschaft f{\"u}r Informatik e.V. (GI)}, address = {Bonn}, isbn = {978-3-88579-669-5}, doi = {10.18420/in2017 58}, pages = {615 -- 622}, language = {en} } @inproceedings{HoecknerHofstedtVoertleretal., author = {H{\"o}ckner, Benny and Hofstedt, Petra and V{\"o}rtler, Thilo and Sauer, Peter and Hinze, Thomas}, title = {Constraint-based Approach for an Early Inspection of the Feasibility of Cyber Physical Systems}, series = {20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013}, booktitle = {20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP). 2013}, editor = {Hanus, Michael and Rocha, Ricardo}, publisher = {Institut f{\"u}r Informatik, Christian-Albrechts-Universit{\"a}t}, address = {Kiel}, pages = {183 -- 197}, language = {en} } @inproceedings{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {FdConfig: A Constraint-Based Interactive Configurator}, series = {Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011}, booktitle = {Applications of Declarative Programming and Knowledge Management, 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-41523-4}, pages = {239 -- 255}, language = {en} } @inproceedings{HofstedtUeda, author = {Hofstedt, Petra and Ueda, K.}, title = {Realizing Multiparadigm Programming bades on Hierarchical Graph Rewriting}, language = {de} } @misc{LoefflerBeckerBueckertetal., author = {L{\"o}ffler, Sven and Becker, Ilja and B{\"u}ckert, Carlo and Hofstedt, Petra}, title = {Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach}, series = {Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics : November 13-15, 2023, in Rome, Italy, volume 1}, journal = {Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics : November 13-15, 2023, in Rome, Italy, volume 1}, editor = {Gini, Giuseppina and Nijmeijer, Henk and Filev, Dimitar}, publisher = {Scitepress}, isbn = {978-989-758-670-5}, doi = {10.5220/0012203400003543}, pages = {70 -- 79}, language = {en} } @misc{BeckerLoefflerHofstedt, author = {Becker, Ilja and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {ML-based Automation of Constraint Satisfaction Model Transformation and Solver Configuration}, series = {Distributed Computing and Artificial Intelligence, Special Sessions - DCAI 2022, 19th International Conference}, journal = {Distributed Computing and Artificial Intelligence, Special Sessions - DCAI 2022, 19th International Conference}, editor = {Machado, Jose Manuel F. and Chamoso, Pablo and Hernandez, Guillermo and Bocewicz, Grzegorz and Loukanova, Roussanka and Jove, Esteban and del Rey, Angel Martin and Ricca, Michela}, publisher = {Springer}, address = {Cham}, isbn = {978-3-031-23209-1}, pages = {177 -- 183}, language = {en} } @misc{LoefflerBeckerHofstedt, author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem}, series = {Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II}, journal = {Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II}, editor = {Strauss, Christine and Amagasa, Toshiyuki and Kotsis, Gabriele and Tjoa, A Min and Khalil, Ismail}, publisher = {Springer}, address = {Cham}, isbn = {978-3-031-39820-9}, pages = {126 -- 133}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {How to integrate Declarative Languages and Constraint Systems}, series = {Kolloquium Programmiersprachen und Grundlagen der Programmierung}, booktitle = {Kolloquium Programmiersprachen und Grundlagen der Programmierung}, editor = {Indermark, Klaus}, publisher = {RWTH, Department of Computer Science}, address = {Aachen}, language = {en} } @inproceedings{SchneeweissHofstedt, author = {Schneeweiss, Denny and Hofstedt, Petra}, title = {FdConfig: A Constraint-Based Interactive Configurator}, language = {en} } @inproceedings{OPUS4-6900, title = {Proceedings, International Workshop on Innovative Scheduling and other Applications using CP-AI-OR (ISA 2011)}, editor = {Hofstedt, Petra and Wolf, Armin}, publisher = {BTU}, address = {Cottbus}, pages = {28}, language = {en} } @inproceedings{Hofstedt, author = {Hofstedt, Petra}, title = {Implementing reduction strategies by hierarchical graph rewriting}, editor = {Fernandez, Maribel}, language = {en} } @inproceedings{HofstedtJeltschKoenigetal., author = {Hofstedt, Petra and Jeltsch, Wolfgang and K{\"o}nig, Thomas and Guangyun, Xu}, title = {Monadische Constraint-Programmierung}, language = {de} } @misc{LoefflerKrollBeckeretal., author = {L{\"o}ffler, Sven and Kroll, Franz and Becker, Ilja and Hofstedt, Petra}, title = {Optimal Beacon Placement for Indoor Positioning Using Constraint Programming}, series = {19th IEEE/ACS International Conference on Computer Systems and Applications - AICCSA 2022}, journal = {19th IEEE/ACS International Conference on Computer Systems and Applications - AICCSA 2022}, publisher = {IEEE}, isbn = {979-8-3503-1008-5}, doi = {10.1109/AICCSA56895.2022.10017575}, language = {en} } @misc{KrollLoefflerBeckeretal., author = {Kroll, Franz and L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {Automatic Detection of Timed-up and Go Tests with IMU Sensor Data}, series = {Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022}, journal = {Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022}, editor = {Roque, Ana C.A. and Fred, Ana L.N. and Gamboa, Hugo}, publisher = {SCITEPRESS}, isbn = {978-989-758-552-4}, issn = {2184-4305}, doi = {10.5220/0010775300003123}, pages = {15 -- 24}, language = {en} } @misc{LoefflerBeckerHofstedt, author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints}, series = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART), Volume 2}, journal = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART), Volume 2}, isbn = {978-989-758-484-8}, issn = {2184-433X}, doi = {10.5220/0010299109740981}, pages = {974 -- 981}, language = {en} } @phdthesis{Liu, author = {Liu, Ke}, title = {Parallel Constraint Solving for Combinatorial Problems}, address = {Cottbus}, doi = {10.26127/BTUOpen-5437}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus4-54375}, pages = {179}, language = {en} } @misc{LoefflerBeckerKrolletal., author = {L{\"o}ffler, Sven and Becker, Ilja and Kroll, Franz and Hofstedt, Petra}, title = {A Survey of Constraint Transformation Methods}, series = {51. Jahrestagung der Gesellschaft f{\"u}r Informatik, INFORMATIK 2021 - Computer Science \& Sustainability}, journal = {51. Jahrestagung der Gesellschaft f{\"u}r Informatik, INFORMATIK 2021 - Computer Science \& Sustainability}, isbn = {978-3-88579-708-1}, doi = {10.18420/informatik2021-090}, pages = {1107 -- 1120}, language = {en} } @phdthesis{Schoelzel, author = {Sch{\"o}lzel, Mario}, title = {Automatisierter Entwurf anwendungsspezifischer VLIW-Prozessoren}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:co1-opus-397}, language = {de} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {An Introduction of FD-Complete Constraints}, series = {Artificial Intelligence Applications and Innovations : 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II}, journal = {Artificial Intelligence Applications and Innovations : 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II}, editor = {Maglogiannis, Ilias and Iliadis, Lazaros S. and Pimenidis, Elias}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-49185-7}, issn = {1868-4238}, doi = {10.1007/978-3-030-49186-4_3}, pages = {27 -- 38}, language = {en} } @misc{OPUS4-26413, title = {Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers}, editor = {Hofstedt, Petra and Abreu, Salvador and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-46713-5}, issn = {0302-9743}, doi = {10.1007/978-3-030-46714-2}, pages = {307}, language = {en} } @book{HofstedtWolf, author = {Hofstedt, Petra and Wolf, Armin}, title = {Einf{\"u}hrung in die Constraint-Programmierung}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-23184-6}, pages = {XII, 388}, language = {de} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Solving the Social Golfers Problem by Constraint Programming in Sequential and Parallel}, series = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 209, Volume 2}, journal = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 209, Volume 2}, editor = {Rocha, Ana Paula and Steels, Luc and Herik, Jaap van den}, publisher = {SciTePress}, isbn = {978-989-758-350-6}, doi = {10.5220/0007252300290039}, pages = {29 -- 39}, language = {en} } @book{PepperHofstedt, author = {Pepper, Peter and Hofstedt, Petra}, title = {Funktionale Programmierung: Sprachdesign und Programmiertechnik}, publisher = {Berlin}, address = {Springer}, isbn = {3-540-20959-X}, pages = {XVII, 492}, language = {de} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Social Golfer Problem Revisited}, series = {Agents and Artificial Intelligence - 11th International Conference, {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers}, journal = {Agents and Artificial Intelligence - 11th International Conference, {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers}, editor = {Herik, Jaap van den and Rocha, Ana Paula and Steels, Luc}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-37493-8}, issn = {0302-9743}, doi = {10.1007/978-3-030-37494-5_5}, pages = {72 -- 99}, language = {en} } @misc{LiuLoefflerHofstedt, author = {Liu, Ke and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Exploring Properties of Icosoku by Constraint Satisfaction Approach}, series = {Pre-proceedings of the {DECLARE} 2019 Conference}, journal = {Pre-proceedings of the {DECLARE} 2019 Conference}, editor = {Abreu, Salvador and Hofstedt, Petra and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, pages = {7}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {The Regularization of Small Sub-Constraint Satisfaction Problems}, series = {Pre-proceedings of the DECLARE 2019 Conference}, journal = {Pre-proceedings of the DECLARE 2019 Conference}, editor = {Abreu, Salvador and Hofstedt, Petra and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, pages = {7}, language = {en} } @techreport{OPUS4-24944, title = {Pre-proceedings of the DECLARE 2019 Conference}, editor = {Abreu, Salvador and Hofstedt, Petra and John, Ulrich and Kuchen, Herbert and Seipel, Dietmar}, language = {en} }