Core Challenge 2023：求解器与图描述
Core Challenge 2023: Solver and Graph Descriptions
Kobe University（神户大学）；National Institute of Genetics（国立遗传学研究所）；The University of Electro-Communications（电气通信大学）；Tohoku University（东北大学）
AI总结：
本文收集并整理了提交至CoRe Challenge 2023的全部求解器与ISR实例描述，为相关研究提供参考。
摘要：
本文汇集了提交至CoRe Challenge 2023的所有求解器和ISR实例的描述。
英文摘要：
This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2023.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
