3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 3 cited
Core Challenge 2023: Solver and Graph Descriptions
Takehide Soh, Tomoya Tanjo, Yoshio Okamoto +1
This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2023.
cs.AI2022★ 1 cited
Core Challenge 2022: Solver and Graph Descriptions
Takehide Soh, Yoshio Okamoto, Takehiro Ito
This paper collects all descriptions of solvers and ISR instances submitted to CoRe Challenge 2022.