TY - GEN A1 - Wang, Pu A1 - Xia, Ming A1 - Liang, Owen A1 - Sun, Ke A1 - Cipriano, Aaron F. A1 - Schröder, Thomas A1 - Liu, Huinan A1 - Xie, Ya-Hong T1 - Label-free Neurotransmitter SERS Detection by Graphene-Gold Nanopyramid Heterostructure T2 - Analytical Chemistry Y1 - 2015 U6 - https://doi.org/10.1021/acs.analchem.5b01560 SN - 0003-2700 SN - 1520-6882 VL - 87 IS - 20 SP - 10255 EP - 10261 ER - 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 - 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 - 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 - 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 - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Eibl, Maximilian ED - Gaedke, Martin T1 - Using Hypertree Decomposition for Parallel Constraint Solving T2 - Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland Y1 - 2017 SN - 978-3-88579-669-5 U6 - https://doi.org/10.18420/in2017 58 SP - 615 EP - 622 PB - Gesellschaft für Informatik e.V. (GI) CY - Bonn ER - TY - THES A1 - Liu, Ke T1 - Parallel Constraint Solving for Combinatorial Problems KW - Constraint Solving KW - Constraint Programming KW - Parallel Processing Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:co1-opus4-54375 CY - Cottbus 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 - 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 - 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 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Hypertree Decomposition for Constraint programming in Parallel T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 86 EP - 89 PB - Friedrich-Schiller-Universität CY - Jena ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Transformations of CSPs to Regular CSPs T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 127 EP - 129 PB - Friedrich-Schiller-Universität CY - Jena 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 - Declare 2017 – Conference on Declarative Programming Y1 - 2017 UR - https://www.uni-wuerzburg.de/fileadmin/10030100/Publications/TR_Declare17.pdf SP - 91 EP - 103 PB - Institute of Computer Science CY - Würzburg ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Eibl, Maximilian ED - Gaedke, Martin T1 - The Power of Regular Constraints in CSPs T2 - Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland Y1 - 2017 SN - 978-3-88579-669-5 U6 - https://doi.org/10.18420/in2017 57 SP - 603 EP - 614 PB - Gesellschaft für Informatik e.V. (GI) CY - Bonn ER -