Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances
From MaRDI portal
Dataset:6709950
DOI10.5281/zenodo.4597074Zenodo4597074MaRDI QIDQ6709950FDOQ6709950
Dataset published at Zenodo repository.
Michele Sevegnani, Ciaran McCreesh, Kyle Burns, Blair Archibald
Publication date: 4 August 2021
Copyright license: Creative Commons Attribution 4.0 International
A set of 11176 test instances for comparing the existing SAT solver found in BigraphER with the new Subgraph based solver using the Glasgow subgraph solver. See README for details. Also included in results.tar.xz are those presented in the paper.
This page was built for dataset: Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances
