Resilience in the Facility Location Problem: Theory and Practice

我们在团队编队和设施选址方面的部分稳健性研究取得了重大进展。我们的调查包括将我们的发现与联盟结构生成、场景覆盖和设施选址方面的相关工作进行比较。该研究论文经过了两轮评审，并成功发表在《自主代理和多代理系统》杂志上，此外，我们还开发了生成人工设施位置实例的软件，为用户提供了灵活地生成各种参数的实例。该软件包括求解算法和可视化工具。此外，我们使用该软件创建了一个基准集，将供SAT竞赛社区使用。该基准测试集的详细生成协议发表在《2022年SAT竞赛论文集：求解器和基准描述》中。我们还对外生变化和弹性的理论和基础方面进行了研究，重点是知识表示。我们的发现发表在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.