Published January 29, 2024
| Version v3
Dataset
Open
Test Instances and Results: Efficient and Scalable Algorithms for Bigraph Matching (Ph.D Thesis)
Description
The set of test instances and runtime results for comparing the performance of Minisat and Minicard SAT/PB solvers for BigraphER with the Glasgow Bigraph Solver.
Files
thesis_eval.zip
Files
(44.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:4f35496015ff0f854946840712d88fc7
|
44.5 MB | Preview Download |
Additional details
Related works
- Is part of
- Publication: 10.4230/LIPIcs.CP.2021.15 (DOI)