Published October 19, 2024
| Version v1
Dataset
Open
Selected Benchmarks for CNF-to-BDD Compilation
Creators
-
1.
Eindhoven University of Technology
-
2.
Saarland University
-
3.
TU Dresden
-
4.
University of Bonn
Files
Bayesian Networks.zip
Files
(70.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:01b7c4b72aad07bc5cd5e2dbfd2c9071
|
5.3 MB | Preview Download |
|
md5:3953b4319aef789212ae7ac5fcd395f8
|
800.3 kB | Preview Download |
|
md5:d26c1ede10f90f8a3a7c60d0d3e49590
|
1.4 MB | Preview Download |
|
md5:8c089002bd6018aa98b76d52d93b59e2
|
2.9 MB | Preview Download |
|
md5:a49ca23fea23bfba330eb3b0fe43dbc9
|
24.2 MB | Preview Download |
|
md5:4b2a1a20f0fdb9de0fef1ee0ef4d3ed4
|
32.7 MB | Preview Download |
|
md5:3fa59ff74f6395364859cec3f2cb1045
|
522.4 kB | Preview Download |
|
md5:3503206eee726dba052d06170fd90c68
|
2.9 MB | Preview Download |
|
md5:b1b84783d75ba59b31f97194cdec00f5
|
4.0 kB | Preview Download |
|
md5:991cb58d3114c50f5bcd7b74ff3ce4ca
|
196.3 kB | Preview Download |
Additional details
Related works
- Continues
- Publication: 10.1145/3646548.3676538 (DOI)