mlsanityData to 14 Oct 2026

Core Challenge 2023: Solver and Graph Descriptions

arXiv 2310.17136 ↗First posted 26 Oct 2023cs.PL cs.AI cs.DScited by 0

Not on the map. Why?

Abstract (arXiv)

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

Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 1 of its 18 references that are in the map. First posted on arXiv 26 Oct 2023.

Builds on

1 of 18 references.

References · 1

  1. 2022ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problemscited by 3

Built on by

Not cited yet.