Published December 18, 2023 | Version v1
Dataset Open

Constrained shortest path instance dataset

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