Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances (Q6709950)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances |
Dataset published at Zenodo repository. |
Statements
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.
0 references
4 August 2021
0 references
