Published December 18, 2023
| Version v1
Dataset
Open
Constrained shortest path instance dataset
Authors/Creators
Description
The dataset used in the experimental evaluation in the paper "Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths" submitted to AAAI-24.
Files
instances-full.zip
Files
(1.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:9e9f219e432d99aa9cc03f9c1bb4dac6
|
1.3 GB | Preview Download |
Additional details
Dates
- Collected
-
2022-08-16