Resilience in the Facility Location Problem: Theory and Practice

我们在研究团队组成和设施位置的部分稳健性方面取得了重大进展。我们的调查涉及将我们的发现与联盟结构生成、设置覆盖和设施位置的相关工作进行比较。该研究论文经过了两轮评审，并成功发表在《自治代理与多代理系统》杂志上。此外，我们开发了生成人工设施位置实例的软件，为用户提供了使用不同参数生成不同实例的灵活性。该软件包括求解算法和可视化工具。此外，我们还使用该软件创建了一个基准集，供SAT竞赛社区使用。该基准集的详细生成协议发表在SAT竞赛2022：求解器和基准描述的会议记录中。我们还对外生变化和弹性的理论和基础方面进行了研究，重点是知识表示。我们的研究结果发表在KR'22的一篇论文中，KR'22是一个著名的国际会议，专门研究知识表示。总的来说，我们已经取得了重要的里程碑，包括在知名期刊上发表文章，发布全面的软件，为基准集做出贡献，并在顶级会议上展示研究成果。

We have made significant progress in researching partial robustness in team formation and facility location. Our investigation involved comparing our findings with relevant works in coalition structure generation, set cover, and facility location. The research paper underwent two rounds of reviews and was successfully published in the journal of Autonomous Agents and Multi-Agent Systems.Furthermore, we developed software that generates artificial facility location instances, offering users flexibility in generating diverse instances with various parameters. The software includes solving algorithms and a visualization tool. Additionally, we created a benchmark set using the software, which will be utilized by the SAT competition community. The detailed generation protocol for this benchmark set was published in the proceedings of SAT Competition 2022: Solver and Benchmark Descriptions.We also conducted research on the theoretical and fundamental aspects of exogenous change and resilience, focusing on knowledge representation. Our findings were presented in a paper at KR'22, a prestigious international conference specializing in knowledge representation.Overall, we have achieved significant milestones, including publishing in a reputable journal, releasing comprehensive software, contributing to benchmark sets, and presenting research at a top-tier conference.