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 - Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019 N2 - This paper describes a new approach to decompose constraint satisfaction problems (CSPs) using an auxiliary constraint satisfaction optimization problem (CSOP) that detects sub-CSPs which share only few common variables. The purpose of this approach is to find sub-CSPs which can be solved in parallel and combined to a complete solution of the original CSP. Therefore, our decomposition approach has two goals: 1. to evenly balance the workload distribution over all cores and solve the partial CSPs as fast as possible and 2. to minimize the number of shared variables to make the join process of the solutions as fast as possible. KW - Constraint Satisfaction Problems Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007455907550761 SP - 755 EP - 761 PB - SciTePress 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 - A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence N2 - This paper describes a new approach on optimization of regular constraint satisfaction problems (rCSPs) using an auxiliary constraint satisfaction optimization problem (CSOP) that detects areas with a potentially high number of conflicts. The purpose of this approach is to remove conflicts by the combination of regular constraints with intersection and concatenation of their underlying deterministic finite automatons (DFAs). This, eventually, often allows to significantly speed-up the solution process of the original rCSP. KW - Constraint Satisfaction Problems Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007260204350442 SP - 435 EP - 442 PB - SciTePress ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Herik, Jaap van den ED - Rocha, Ana Paula ED - Steels, Luc T1 - Social Golfer Problem Revisited T2 - Agents and Artificial Intelligence - 11th International Conference, {ICAART} 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers KW - Constraint Programming Y1 - 2019 SN - 978-3-030-37493-8 SN - 978-3-030-37494-5 U6 - https://doi.org/10.1007/978-3-030-37494-5_5 SN - 0302-9743 SN - 1611-3349 SP - 72 EP - 99 PB - Springer CY - Cham ER - 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 - TY - GEN A1 - Becker, Ilja A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Machado, Jose Manuel F. ED - Chamoso, Pablo ED - Hernandez, Guillermo ED - Bocewicz, Grzegorz ED - Loukanova, Roussanka ED - Jove, Esteban ED - del Rey, Angel Martin ED - Ricca, Michela T1 - ML-based Automation of Constraint Satisfaction Model Transformation and Solver Configuration T2 - Distributed Computing and Artificial Intelligence, Special Sessions - DCAI 2022, 19th International Conference KW - Constraint Programming KW - Machine Learning Y1 - 2022 SN - 978-3-031-23209-1 SN - 978-3-031-23210-7 SP - 177 EP - 183 PB - Springer CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Becker, Ilja A1 - Hofstedt, Petra ED - Strauss, Christine ED - Amagasa, Toshiyuki ED - Kotsis, Gabriele ED - Tjoa, A Min ED - Khalil, Ismail T1 - A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem T2 - Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28–30, 2023, Proceedings, Part II Y1 - 2023 SN - 978-3-031-39820-9 SN - 978-3-031-39821-6 SP - 126 EP - 133 PB - Springer CY - Cham 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 - Bückert, Carlo A1 - Hofstedt, Petra ED - Gini, Giuseppina ED - Nijmeijer, Henk ED - Filev, Dimitar T1 - Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach T2 - Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics : November 13-15, 2023, in Rome, Italy, volume 1 KW - Beacon Placement KW - Constraint Programming KW - Decision Support Systems KW - Artificial Intelligence Y1 - 2023 SN - 978-989-758-670-5 U6 - https://doi.org/10.5220/0012203400003543 SP - 70 EP - 79 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 - GEN A1 - Pißarek, Adele A1 - Hofstedt, Petra A1 - Löffler, Sven ED - Dassisti, Michele ED - Madani, Kurosh ED - Panetto, Herve T1 - Stockyard Planning and Optimization Using Intelligent Search T2 - Innovative Intelligent Industrial Production and Logistics Y1 - 2025 SN - 978-3-031-80775-6 U6 - https://doi.org/10.1007/978-3-031-80775-6_7 SN - 1865-0937 VL - 2 SP - 94 EP - 110 PB - Springer Nature Switzerland CY - Cham ER - TY - CHAP A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Nicosia, Guiseppe ED - Ojha, Varun ED - Giesselbach, Sven ED - Pardalos, M. Panos ED - Umeton, Renato T1 - A constraint-based savings algorithm for the Traveling Salesman Problem T2 - Machine Learning, Optimization and Data Science : 10th International Conference, LOD 2024, Castiglione Della Pescaia, Italy, September 22-25, 2024, Revised Selected Papers N2 - There exists a plethora of NP-hard problems for which obtaining an exact solution is computationally intensive while an approximate solution can be rapidly computed. The Traveling Salesman Problem (TSP) stands out as a prominent example within this problem class, being equally significant in both research and industry sectors. Exact methods for solving the TSP are typically infeasible within acceptable timeframes beyond a certain instance size. Due to the NP-hardness of the problem, computational time requirements would quickly escalate to weeks, months, years, or even millennia. In contrast, heuristic approaches often yield sufficiently good solutions rapidly, typically within seconds or minutes. However, the drawback lies in their tendency to produce only locally optimal solutions, which may deviate significantly from a global optimum. Nevertheless, heuristic methods remain preferred in industry due to their ability to find satisfactory solutions within reasonable timeframes. It is worth noting that even marginal improvements in solutions can translate into significant cost savings in practice. Hence, there is a demand for methods capable of swiftly providing high-quality solutions while also continuously searching for further, better solutions over time. This work aims to combine two approaches: heuristic search (utilizing two simple greedy algorithms and the savings algorithm developed by Clarke and Wright) and exact search (constraint programming), to solve TSPs. Using various TSP instances, we demonstrate that our approach yields a better solution than purely local methods in at least 80% of the cases. Furthermore, within the given time limit of 5 min, the new approach identifies a solution that is more than twice as good compared to traditional COP methods. KW - Constraints KW - Optimization KW - Traveling Salesman Problem Y1 - 2025 SN - 9783031824838 U6 - https://doi.org/10.1007/978-3-031-82484-5_15 SN - 0302-9743 VL - 2 SP - 203 EP - 217 PB - Springer Nature Switzerland CY - Cham ER - TY - CHAP A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - van den Herik, H. Jaap T1 - Greedy and local search-based constraint optimization of the travelling salesman problem T2 - Agents and Artificial Intelligence : 16th International Conference, ICAART 2024 Rome, Italy, February 24–26, 2024 : revised selected papers, Part II N2 - Constraint optimization problems offer a way to obtain a global solution for a given problem. However, the promise of finding a global solution often comes at the cost of significant time and computational resources. Greedy search, local search, and cluster identification methods represent alternative approaches, which can quickly lead to local optima. In our previous work presented at the 16th International Conference on Agents and Artificial Intelligence (ICAART) 2024 [19], we introduced new methods to combine constraint programming with greedy search and clustering methods in the context of the traveling salesman problem. In this paper, we explore the advantages of incorporating greedy search and local search, which can be seen as a clustering technique in this case, into constraint optimization methods without forsaking the pursuit of a global solution. The global search process is initially designed to behave similarly to a greedy search or local search. Compared to [19], we now considered more diverse greedy and iterated local search techniques as a new clustering method. Our approach aims to achieve two key objectives: first, to accelerate the process of finding of an initial solution, and second, to ensure that this solution possesses a high level of optimality. Our approach is an enhancement of the general branch-and-bound method in constraint programming. Finally, we validate our results using the traveling salesman problem as a case study. KW - Constraint Optimization KW - Informed and local search KW - Travelling Salesman Problem KW - TSP Y1 - 2025 SN - 9783031873294 U6 - https://doi.org/10.1007/978-3-031-87330-0_11 SN - 0302-9743 SP - 212 EP - 233 PB - Springer Nature Switzerland CY - Cham ER - TY - CHAP A1 - Assaf, George A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Tack, Guido T1 - Optimized scheduling of medical appointment sequences using constraint programming T2 - Integration of constraint programming, artificial intelligence, and operations research : 22nd International Conference, CPAIOR 2025 Melbourne, VIC, Australia, November 10–13, 2025 : proceedings, Part I N2 - We propose a novel constraint-based model to efficiently tackle the medical appointment sequence scheduling problem (MASSP), inspired by a real-world problem at Charité – Universitätsmedizin Berlin. In many practical medical scenarios, scheduling a sequence of appointments, rather than a single appointment, has become increasingly essential for patients undergoing multi-stage treatments. The goal of the MASSP is to identify a set of medical resources with sufficient, consecutive, and available time slots in their calendars to create a sequence of appointments for effectively managing a treatment plan. The problem comprises various constraints, including the availability of both the intended patient and required medical resources, as well as the time and resource dependencies among the individual appointments that constitute the sequence. To address this, we formulate the problem as a constraint optimization problem () that not only captures the basic constraints of the MASSP but also optimizes resource assignment to ensure a fair workload distribution within the medical facility. The results of our experiments demonstrate that the model performs effectively under diverse conditions, which confirms the utility and robustness of the proposed model in optimizing resource allocation and ensuring equitable workload distribution. KW - Constraint Programming KW - Optimization KW - Medical Appointment Scheduling Y1 - 2025 SN - 978-3-031-95973-8 U6 - https://doi.org/10.1007/978-3-031-95973-8_1 SN - 0302-9743 SP - 1 EP - 16 PB - Springer Nature Switzerland CY - Cham ER - TY - GEN A1 - Löffler, Sven A1 - Abbenhaus, Viktoria A1 - Assaf, George A1 - Hofstedt, Petra ED - Gini, Giuseppina ED - Precup, Radu-Emil ED - Filev, Dimitar P. T1 - Solving the three-dimensional beacon placement problem using constraint-based methods, large neighborhood search, and evolutionary algorithms T2 - Proceedings of the 22nd International Conference on Informatics in Control, Automation and Robotics : Volume 1 : ICINCO N2 - With the increasing prevalence of large building complexes, indoor localization is becoming an area of growing significance. In critical situations, such as emergencies in factories or care facilities, the ability to locate a person quickly can be a matter of life and death. One possibility for localization are Bluetooth beacons, which are either attached to the person or in rooms. We pursue the latter approach, whereby the beacon signals are used to determine the position of a receiving device, e.g. a mobile phone. At this, the use of a sufficient number of beacons in the building must be ensured in order to guarantee adequate coverage. However, to minimize costs, it is equally important to avoid placing unnecessary beacons. This creates a challenging optimization problem that this paper addresses through three distinct approaches: constraint programming, large neighborhood search, and evolutionary algorithms. Using simulated three-dimensional buildings, we test and evaluate these m ethods, ultimately providing a practical and efficient approach applicable to real-world building environments. KW - Constraint Programming KW - AI Algorithms KW - Beacon Placement Y1 - 2025 SN - 978-989-758-770-2 U6 - https://doi.org/10.5220/0013724500003982 SP - 105 EP - 116 PB - SciTePress - Science and Technology Publications CY - Setúbal, Portugal ER - TY - GEN A1 - Assaf, George A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - van den Herik, H. Jaap T1 - Constraint-based optimization for scheduling medical appointments T2 - Proceedings of the 17th International Conference on Agents and Artificial Intelligence : volume 3: ICAART, 94-103, 2025 , Porto, Portugal N2 - In this paper, we introduce a novel approach for solving as well as optimizing the medical appointment scheduling problem (MASP) using constraint programming. The MASP is a complex and critical task in health care management, directly impacting both patient care and operational efficiency. We formalize the MASP as a set of constraints that encode diverse requirements for scheduling medical appointments, including intuitive requirements such as the availability of both patients and medical resources, including physicians, nurses and medical equipment. Furthermore, our model accounts for patient preferences, such as favoring specific dates and/or particular resources whenever feasible. The proposed method incorporates optimization techniques that enhance the scheduling process by considering appointment urgency and balancing workload distribution among the assigned resources, thereby improving the allocation of medical resources. As an outcome, our constraint model demonstrates high ef ficiency by scheduling medical appointments in just milliseconds. KW - Constraint Programming KW - Optimization KW - Medical Appointment Scheduling Y1 - 2025 SN - 978-989-758-737-5 U6 - https://doi.org/10.5220/0013091300003890 SP - 94 EP - 103 PB - SciTePress - Science and Technology Publications CY - Setúbal, Portugal ER - TY - CHAP A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Gini, Giuseppina ED - Nijmeijer, Henk ED - Filev, Dimitar T1 - Enhanced optimal beacon placement for indoor positioning : refining the search process T2 - Informatics in control, automation and robotics : 20th International Conference, ICINCO 2023, Rome, Italy, November 13–15, 2023 : revised selected papers N2 - Indoor localization plays a key role across diverse environments such as hospitals, retirement homes, and emergency response scenarios. Ensuring the efficient and precise tracking of mobile individuals indoors heavily relies on the strategic deployment of sensors. Manual placement of beacons (sensors) for indoor positioning within a building poses significant challenges and time constraints. Consequently, numerous researchers have explored this problem domain, employing diverse algorithms and addressing various practical scenarios. In our previous works at the ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2022) [20] and the 20th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2023) [19], we introduced two novel approaches that leverage constraint programming with exclusively Boolean variables respectively only set variables and Boolean variables to efficiently place Bluetooth Low Energy (BLE) beacons in indoor scenarios. We evaluated the quality of our results by comparing them against manually optimized beacon placement and assessing their performance in four real-world school buildings. This paper extends the findings of [19, 20] by new approaches on the search in the constraint solving process using greedy search and local search techniques. KW - Constraint Programming KW - Search Methods KW - Beacon Placement Y1 - 2025 SN - 978-3-031-94989-0 U6 - https://doi.org/10.1007/978-3-031-94989-0_5 SN - 1876-1100 SP - 97 EP - 124 PB - Springer Nature Switzerland CY - Cham ER - TY - CHAP A1 - Löffler, Sven A1 - Abbenhaus, Viktoria A1 - Assaf, George A1 - Hofstedt, Petra ED - Braun, Tanya ED - Paaßen, Benjamin ED - Stolzenburg, Frieder T1 - A hybrid constraint-based, greedy, and local search approach for the transshipment problem T2 - KI 2025 : advances in artificial intelligence : 48th German Conference on AI, Potsdam, Germany, September 16–19, 2025 : proceedings N2 - The efficient resolution of logistics problems, particularly those aimed at minimizing costs and reducing environmental impact, represents a critical challenge in our globalized world. A prominent example of such problems is the Transshipment Problem, which seeks to determine the most cost-effective paths from sources (e.g., producers) through transshipment points to sinks (e.g., customers). Approaches to addressing this problem range from greedy algorithms, which may rapidly yield locally optimal solutions, to constraint-based methods that, given sufficient resources and computation time, can identify globally optimal solutions. In this study, we propose a hybrid approach that integrates greedy strategies into the solution process of constraint modeling for the Transshipment Problem. This integration aims to expedite the discovery of high-quality initial solutions while preserving the global optimization capabilities inherent in constraint-based search methods. To validate the effectiveness of this new hybrid approach, we conducted an extensive series of experiments, which demonstrate its significant advantages in solving the Transshipment Problem compared to both a conventional constraint model and pure greedy methods. KW - Constraint Programming KW - Search methods KW - Transshipment problem Y1 - 2025 SN - 978-3-032-02813-6 U6 - https://doi.org/10.1007/978-3-032-02813-6_7 SN - 0302-9743 SP - 91 EP - 103 PB - Springer Nature Switzerland CY - Cham ER - TY - GEN A1 - Assaf, George A1 - Löffler, Sven A1 - Hofstedt, Petra T1 - Parallel constraint satisfaction for optimizing medical appointment scheduling T2 - Proceedings of DECLARE 2025, Conference on Declarative Programming N2 - We explore the use of parallel constraint satisfaction to eciently solve the medical appointment scheduling problem (MASP). The medical appointment scheduling problem entails the coordination of suitable medical resources such as medical sta and equipment that share available time slots in their calendars to create an appointment for a patient seeking a specic medical service. The problem is subject to constraints as well as optimization criteria derived from treatment plans, medical protocols, and patient preferences. However, in large-scale healthcare settings, traditional constraint programming methods face signicant performance challenges (in terms of resolution time) due to the large number of resources within the medical facility as well as extended scheduling horizons. To overcome the performance limitations, we employ parallel portfolio search, which simultaneously utilizes multiple cores and diverse search strategies to eciently identify optimal solutions. The parallelized MASP demonstrates dramatic improvements over single-threaded constraint solving, signicantly reducing resolution times to clinically acceptable time frames for complex MASP instances, and increasing the overall solution quality. KW - Constraint Programming KW - Parallel Processing KW - Medical Appointment Scheduling Y1 - 2025 UR - https://drive.google.com/file/d/16XPXoY1StYm_YCwXrKf1ZE9G8meRBzsu/view UR - https://sites.google.com/uevora.pt/declare2025/home SP - 1 EP - 13 ER - TY - GEN A1 - Löffler, Sven A1 - Hofstedt, Petra T1 - An enhanced constraint-based approach for automating digital signal placement in railway digitalization T2 - SN Computer science N2 - The goal of digitalization is to standardize processes and reduce resource consumption. However, achieving this goal often requires substantial intellectual and resource-intensive investments. In this work we fokus on the automatic placement of digital signals at appropriate distances from existing switches along station tracks, replacing analog signals. In contrast to previous approaches, we extend the problem scope to better reflect real-world application scenarios by supporting multiple entry and exit tracks as well as bidirectional train movements. We formulate a constraint problem to define the problem and introduce methods to accelerate the solution process, making it scalable to large problem instances. The proposed approach is validated through a series of tests generated by our newly developed problem generator, illustrating its applicability to real-world challenges. KW - Constraint Programming KW - Railway Digitalization Y1 - 2025 U6 - https://doi.org/10.1007/s42979-025-04233-5 SN - 2661-8907 VL - 6 SP - 1 EP - 17 PB - Springer Singapore CY - Singapore ER -