This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2023.

翻译：本文汇集了提交至CoRe Challenge 2023的所有求解器与ISR实例的描述。