TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Iliadis, Lazaros S. ED - Maglogiannis, Ilias ED - Plagianakos, Vassilis P. T1 - The Regularization of CSPs for Rostering, Planning and Resource Management Problems T2 - Artificial Intelligence Applications and Innovations - 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece KW - Artificial Intelligence KW - Constraint Programming KW - Constraint Transformation KW - Planning and Scheduling Y1 - 2018 SN - 978-3-319-92006-1 SN - 978-3-319-92007-8 U6 - https://doi.org/10.1007/978-3-319-92007-8_18 SP - 209 EP - 218 PB - Springer CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Groza, Adrian ED - Prasath, Rajendra T1 - Solving the Traveling Tournament Problem with Predefined Vanues by Parallel Constraint Programming T2 - Mining Intelligence and Knowledge Exploration - 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, 2018 KW - Artificial Intelligence KW - Constraint Programming KW - Traveling Tournament Problem KW - Parallel Programming KW - Constraint Solving Y1 - 2018 SN - 978-3-030-05917-0 SN - 978-3-030-05919-4 U6 - https://doi.org/10.1007/978-3-030-05918-7_7 SP - 64 EP - 79 PB - Springer International Publishing CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Seipel, Dietmar ED - Hanus, Michael ED - Abreu, Salvador T1 - Hypertree Decomposition: The First Step towards Parallel Constraint Solving T2 - Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, Revised Selected Papers KW - Artificial Intelligence KW - Constraint Programming KW - Parallel Constraint Solving Y1 - 2018 UR - https://www.springer.com/de/book/9783030008000 SN - 978-3-030-00800-0 U6 - https://doi.org/10.1007/978-3-030-00801-7_6 SP - 81 EP - 94 PB - Springer CY - Heidelberg [u.a.] ER - TY - GEN A1 - Becker, Ilja A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Plümicke, Martin ED - Alia, Fayez Abu T1 - Sharing Nogoods between Portfolio Instances in Choco Solver T2 - 20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019 Y1 - 2019 SN - 978-3-8440-6933-4 SP - 31 EP - 36 PB - Shaker Verlag CY - Düren ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - John, Ulrich ED - Hofstedt, Petra ED - Wolf, Armin T1 - Detecting Higly Overlapping Parts in Constraint Satisfaction Problems for Speed-Up T2 - Deklarative Ansätze zur Künstlichen Intelligenz – punktuelle Beiträge - Post-Proceedings des 32. Workshops für (Constraint) Logische Programmierung KW - Constraint Programming Y1 - 2019 UR - http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf SP - 19 EP - 24 PB - Hochschule für Wirtschaft, Technik und Kultur (htwk) CY - Berlin 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 - 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 - 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 - 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 -