@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} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems}, series = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019}, journal = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019}, editor = {Rocha, Ana Paula and Steels, Luc and Herik, Jaap van den}, publisher = {SciTePress}, isbn = {978-989-758-350-6}, doi = {10.5220/0007455907550761}, pages = {755 -- 761}, abstract = {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.}, language = {en} } @misc{LoefflerLiuHofstedt, author = {L{\"o}ffler, Sven and Liu, Ke and Hofstedt, Petra}, title = {A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems}, series = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence}, journal = {Proceedings of the 11th International Conference on Agents and Artificial Intelligence}, editor = {Rocha, Ana Paula and Steels, Luc and Herik, Jaap van den}, publisher = {SciTePress}, isbn = {978-989-758-350-6}, doi = {10.5220/0007260204350442}, pages = {435 -- 442}, abstract = {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.}, language = {en} } @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} } @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{HofstedtHowerJohnetal., author = {Hofstedt, Petra and Hower, Walter and John, Ulrich and Wolf, Armin}, title = {MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme}, series = {INFORMATIK 2019 - 50 Jahre Gesellschaft f{\"u}r Informatik - Informatik f{\"u}r Gesellschaft}, booktitle = {INFORMATIK 2019 - 50 Jahre Gesellschaft f{\"u}r Informatik - Informatik f{\"u}r Gesellschaft}, editor = {Draude, Claude and Lange, Martin and Sick, Bernhard}, publisher = {GI}, address = {Bonn}, isbn = {978-3-88579-689-3}, doi = {10.18420/inf2019_ws40}, pages = {1}, 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} }