This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2023.
翻译:暂无翻译