TY - RPRT ED - John, Ulrich ED - Hofstedt, Petra ED - Wolf, Armin T1 - Deklarative Ansätze zur Künstlichen Intelligenz, W(C)LP 2018, Post-Proceedings KW - Deklarative Programmierung Y1 - 2019 UR - http://wi.hwtk.de/WLP2018/Papers/DeklarativeKI_W(C)LP2018_PostProceedings.pdf 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 - 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 - 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 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Rocha, Ana Paula ED - Steels, Luc ED - Herik, Jaap van den T1 - Solving the Social Golfers Problem by Constraint Programming in Sequential and Parallel T2 - Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 209, Volume 2 KW - Constraint Programming Y1 - 2019 SN - 978-989-758-350-6 U6 - https://doi.org/10.5220/0007252300290039 SP - 29 EP - 39 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 - 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 -