TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Abreu, Salvador ED - Hofstedt, Petra ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - Exploring Properties of Icosoku by Constraint Satisfaction Approach T2 - Pre-proceedings of the {DECLARE} 2019 Conference KW - Constraint Satisfaction Problems Y1 - 2019 UR - https://arxiv.org/pdf/1908.06003.pdf ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Abreu, Salvador ED - Hofstedt, Petra ED - John, Ulrich ED - Kuchen, Herbert ED - Seipel, Dietmar T1 - The Regularization of Small Sub-Constraint Satisfaction Problems T2 - Pre-proceedings of the DECLARE 2019 Conference KW - Constraint Satisfaction Problems Y1 - 2019 UR - https://arxiv.org/pdf/1908.05907.pdf ER - 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 - Hower, Walter A1 - John, Ulrich A1 - Wolf, Armin ED - Draude, Claude ED - Lange, Martin ED - Sick, Bernhard T1 - MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme T2 - INFORMATIK 2019 - 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft Y1 - 2019 UR - https://dl.gi.de/handle/20.500.12116/25099 SN - 978-3-88579-689-3 U6 - https://doi.org/10.18420/inf2019_ws40 PB - GI CY - Bonn 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 - Maglogiannis, Ilias ED - Iliadis, Lazaros S. ED - Pimenidis, Elias T1 - An Introduction of FD-Complete Constraints T2 - Artificial Intelligence Applications and Innovations : 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings, Part II KW - Constraint Programming KW - FD-Complete Constraints Y1 - 2020 SN - 978-3-030-49185-7 SN - 978-3-030-49186-4 U6 - https://doi.org/10.1007/978-3-030-49186-4_3 SN - 1868-4238 SN - 1868-422X SP - 27 EP - 38 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 - 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 - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra T1 - ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints T2 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART), Volume 2 KW - Constraint-Solving KW - Machine Learning KW - Optimization Y1 - 2021 UR - https://www.scitepress.org/Link.aspx?doi=10.5220/0010299109740981 SN - 978-989-758-484-8 U6 - https://doi.org/10.5220/0010299109740981 SN - 2184-433X SP - 974 EP - 981 ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Kroll, Franz A1 - Hofstedt, Petra T1 - A Survey of Constraint Transformation Methods T2 - 51. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2021 - Computer Science & Sustainability KW - Constraint Solving KW - Constraint Transformation KW - Optimization Y1 - 2021 UR - https://dl.gi.de/handle/20.500.12116/37760 SN - 978-3-88579-708-1 U6 - https://doi.org/10.18420/informatik2021-090 SP - 1107 EP - 1120 ER - TY - GEN A1 - Kroll, Franz A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra ED - Roque, Ana C.A. ED - Fred, Ana L.N. ED - Gamboa, Hugo T1 - Automatic Detection of Timed-up and Go Tests with IMU Sensor Data T2 - Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022 Y1 - 2022 SN - 978-989-758-552-4 U6 - https://doi.org/10.5220/0010775300003123 SN - 2184-4305 SP - 15 EP - 24 PB - SCITEPRESS ER - TY - GEN A1 - Löffler, Sven A1 - Kroll, Franz A1 - Becker, Ilja A1 - Hofstedt, Petra T1 - Optimal Beacon Placement for Indoor Positioning Using Constraint Programming T2 - 19th IEEE/ACS International Conference on Computer Systems and Applications - AICCSA 2022 Y1 - 2022 UR - https://ieeexplore.ieee.org/document/10017575 SN - 979-8-3503-1008-5 U6 - https://doi.org/10.1109/AICCSA56895.2022.10017575 PB - IEEE ER - TY - GEN A1 - Breuß, Sonja A1 - Löffler, Sven A1 - Hofstedt, Petra T1 - A Hybrid Constraint- and Search-Based Approach on the Stockyard Planning Problem T2 - Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics KW - Constraint Programming KW - Artificial Intelligent KW - Search Techniques KW - Stockyard Planning and Optimization Y1 - 2024 SN - 978-989-758-717-7 U6 - https://doi.org/10.5220/0012995000003822 SN - 2184-2809 VL - 1 SP - 113 EP - 125 PB - SCITEPRESS - Science and Technology Publications ER - TY - GEN A1 - Löffler, Sven A1 - Hofstedt, Petra T1 - Automatic Placement of Digital Signals in Railway Digitalization: A Constraint Approach T2 - Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics KW - Constraint Programming KW - Artificial Intelligence KW - Railway Optimization Y1 - 2024 SN - 978-989-758-717-7 U6 - https://doi.org/10.5220/0012994800003822 SN - 2184-2809 VL - 1 SP - 101 EP - 112 PB - SCITEPRESS - Science and Technology Publications ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra T1 - Enhancing constraint optimization problems with greedy search and clustering: a focus on the traveling salesman problem T2 - Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 3: ICAART Y1 - 2024 SN - 978-989-758-680-4 U6 - https://doi.org/10.5220/0012453000003636 SN - 2184-433X SP - 1170 EP - 1178 PB - SCITEPRESS - Science and Technology Publications ER - TY - GEN A1 - Löffler, Sven A1 - Hofstedt, Petra T1 - A constraint-based greedy-local-global search for the warehouse location problem T2 - IFIP Advances in Information and Communication Technology Y1 - 2024 SN - 9783031632181 U6 - https://doi.org/10.1007/978-3-031-63219-8_22 SN - 1868-4238 SP - 291 EP - 304 PB - Springer Nature Switzerland CY - Cham ER - TY - GEN A1 - Frank, Florian A1 - Buckel, Peter A1 - Hoegner, Ludwig A1 - Hofstedt, Petra T1 - A landmark selection method for object-based visual outdoor localization approaches of automated ground vehicles T2 - ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences N2 - Autonomous vehicles must navigate independently in an outdoor environment using features or objects. However, some objects may be more or less suitable for localization due to their attributes. Therefore, this work investigates the suitability of landmarks for camera- and object-based outdoor localization methods. First, object attributes are methodically derived from the requirements of object-based localization. The physical representation on the camera image plane, probability of occurrence, and persistence were identified as influencing the object localization suitability. The influence of the object’s camera image plane representation regarding object recognition algorithms is not considered or discussed, but advice on the minimum object pixel size is provided. The first milestone was the creation of an equation for object localization suitability calculation by normalizing and multiplying the identified attributes. Simultaneously, potential objects from the outdoor environment were identified, resulting in a structured object catalog. The results of the equation and catalog are a ranked according to the object localization suitability in a comparison table. Our comparison demonstrates that objects such as buildings or trees are more suitable than street lane markings for self-localization. However, most current datasets do not include the proposed instantiated objects. The paper addresses this issue, assists in the object selection for outdoor localization methods and provides input for the creation of future-oriented datasets and autonomous driving maps. Y1 - 2024 U6 - https://doi.org/10.5194/isprs-annals-X-4-W5-2024-163-2024 SN - 2194-9050 SP - 163 EP - 169 PB - Copernicus GmbH ER -