Resilience in the Facility Location Problem: Theory and Practice

我们已经取得了显着的进展，在研究部分鲁棒性的团队形成和设施的位置。我们的调查涉及比较我们的研究结果与相关的作品在联盟结构的生成，集覆盖，和设施的位置。该研究论文经过两轮评审，并成功发表在Autonomous Agents and Multi-Agent Systems期刊上。此外，我们开发了生成人工设施位置实例的软件，为用户提供了生成具有各种参数的多样化实例的灵活性。该软件包括求解算法和可视化工具。此外，我们使用该软件创建了一个基准集，该基准集将被SAT竞赛社区使用。该基准集的详细生成协议发表在SAT Competition 2022：Solver and Benchmark Descriptions的论文集上。我们还对外生变化和弹性的理论和基础方面进行了研究，重点是知识表示。我们的研究结果在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.