@misc{BeckerLoefflerHofstedt, author = {Becker, Ilja and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {Sharing Nogoods between Portfolio Instances in Choco Solver}, series = {20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019}, journal = {20. Kolloquium Programmiersprachen und Grundlagen der Programmierung KPS 2019 : Tagungsband : Baiersbronn, 23.-25. September 2019}, editor = {Pl{\"u}micke, Martin and Alia, Fayez Abu}, publisher = {Shaker Verlag}, address = {D{\"u}ren}, isbn = {978-3-8440-6933-4}, pages = {31 -- 36}, language = {en} } @misc{BelsLoefflerBeckeretal., author = {Bels, Maximilian and L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {Constraint-Based Filtering and Evaluation of CSP Search Trees}, series = {Proceedings of the 15th International Conference on Agents and Artificial Intelligence - ICAART 2023, Volume 3}, journal = {Proceedings of the 15th International Conference on Agents and Artificial Intelligence - ICAART 2023, Volume 3}, editor = {Rocha, Ana Paula and Steels, Luc and van den Herik, H. Jaap}, publisher = {Scitepress}, isbn = {978-989-758-623-1}, doi = {10.5220/0011641100003393}, pages = {220 -- 227}, language = {en} } @misc{LoefflerBeckerHofstedtetal., author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra and Nitze, Andre and Hennig, Silvia and Klinge, Alexander}, title = {Planung des L{\"a}ndlichen On-Demand-Verkehr - Probleme, Analyse und Algorithmen}, series = {Informatik 2023 : Designing Futures - Zuk{\"u}nfte gestalten : 26.-29. September 2023, Berlin}, journal = {Informatik 2023 : Designing Futures - Zuk{\"u}nfte gestalten : 26.-29. September 2023, Berlin}, editor = {Klein, Maike and Krupka, Daniel and Winter, Cornelia and Wohlgemuth, Volker}, publisher = {Gesellschaft f{\"u}r Informatik e.V.}, address = {Berlin}, isbn = {978-3-88579-731-9}, doi = {10.18420/inf2023_177}, pages = {1739 -- 1750}, language = {de} } @misc{LoefflerBeckerBueckertetal., author = {L{\"o}ffler, Sven and Becker, Ilja and B{\"u}ckert, Carlo and Hofstedt, Petra}, title = {Enhanced Optimal Beacon Placement for Indoor Positioning: A Set Variable Based Constraint Programming Approach}, series = {Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics : November 13-15, 2023, in Rome, Italy, volume 1}, journal = {Proceedings of the 20th International Conference on Informatics in Control, Automation and Robotics : November 13-15, 2023, in Rome, Italy, volume 1}, editor = {Gini, Giuseppina and Nijmeijer, Henk and Filev, Dimitar}, publisher = {Scitepress}, isbn = {978-989-758-670-5}, doi = {10.5220/0012203400003543}, pages = {70 -- 79}, language = {en} } @misc{BeckerLoefflerHofstedt, author = {Becker, Ilja and L{\"o}ffler, Sven and Hofstedt, Petra}, title = {ML-based Automation of Constraint Satisfaction Model Transformation and Solver Configuration}, series = {Distributed Computing and Artificial Intelligence, Special Sessions - DCAI 2022, 19th International Conference}, journal = {Distributed Computing and Artificial Intelligence, Special Sessions - DCAI 2022, 19th International Conference}, editor = {Machado, Jose Manuel F. and Chamoso, Pablo and Hernandez, Guillermo and Bocewicz, Grzegorz and Loukanova, Roussanka and Jove, Esteban and del Rey, Angel Martin and Ricca, Michela}, publisher = {Springer}, address = {Cham}, isbn = {978-3-031-23209-1}, pages = {177 -- 183}, language = {en} } @misc{LoefflerBeckerHofstedt, author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {A Finite-Domain Constraint-Based Approach on the Stockyard Planning Problem}, series = {Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II}, journal = {Database and Expert Systems Applications : 34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II}, editor = {Strauss, Christine and Amagasa, Toshiyuki and Kotsis, Gabriele and Tjoa, A Min and Khalil, Ismail}, publisher = {Springer}, address = {Cham}, isbn = {978-3-031-39820-9}, pages = {126 -- 133}, language = {en} } @misc{LoefflerKrollBeckeretal., author = {L{\"o}ffler, Sven and Kroll, Franz and Becker, Ilja and Hofstedt, Petra}, title = {Optimal Beacon Placement for Indoor Positioning Using Constraint Programming}, series = {19th IEEE/ACS International Conference on Computer Systems and Applications - AICCSA 2022}, journal = {19th IEEE/ACS International Conference on Computer Systems and Applications - AICCSA 2022}, publisher = {IEEE}, isbn = {979-8-3503-1008-5}, doi = {10.1109/AICCSA56895.2022.10017575}, language = {en} } @misc{KrollLoefflerBeckeretal., author = {Kroll, Franz and L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {Automatic Detection of Timed-up and Go Tests with IMU Sensor Data}, series = {Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022}, journal = {Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2022}, editor = {Roque, Ana C.A. and Fred, Ana L.N. and Gamboa, Hugo}, publisher = {SCITEPRESS}, isbn = {978-989-758-552-4}, issn = {2184-4305}, doi = {10.5220/0010775300003123}, pages = {15 -- 24}, language = {en} } @misc{LoefflerBeckerHofstedt, author = {L{\"o}ffler, Sven and Becker, Ilja and Hofstedt, Petra}, title = {ML-based Decision Support for CSP Modelling with Regular Membership and Table Constraints}, series = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART), Volume 2}, journal = {Proceedings of the 13th International Conference on Agents and Artificial Intelligence (ICAART), Volume 2}, isbn = {978-989-758-484-8}, issn = {2184-433X}, doi = {10.5220/0010299109740981}, pages = {974 -- 981}, language = {en} } @misc{LoefflerBeckerKrolletal., author = {L{\"o}ffler, Sven and Becker, Ilja and Kroll, Franz and Hofstedt, Petra}, title = {A Survey of Constraint Transformation Methods}, series = {51. Jahrestagung der Gesellschaft f{\"u}r Informatik, INFORMATIK 2021 - Computer Science \& Sustainability}, journal = {51. Jahrestagung der Gesellschaft f{\"u}r Informatik, INFORMATIK 2021 - Computer Science \& Sustainability}, isbn = {978-3-88579-708-1}, doi = {10.18420/informatik2021-090}, pages = {1107 -- 1120}, language = {en} }