@misc{indiciaea47ffa81b222, title = {Core Challenge 2023: Solver and Graph Descriptions}, author = {Takehide Soh and Tomoya Tanjo and Yoshio Okamoto and Takehiro Ito}, year = {2023}, url = {https://arxiv.org/abs/2310.17136}, note = {Source identifier: 2310.17136} }