Views
No views yet
For each SAT dataset type we provide 5 randomly sampled graphs. Since all SAT graphs are independent of each other and have no temporal dependency or similar, we provide randomly sampled graphs. We also provide the corresponding csv entries from which graphs are constructed.
license: cc-by-nc-4.0