Published April 25, 2026
| Version v10
Dataset
Open
Artifact of On Lower Bounding Minimal Model Count (ICLP-24)
Authors/Creators
-
1.
Georgia Institute of Technology
Description
It contains the benchmark, binaries, scripts and experimental log files of our work "On Lower Bounding Minimal Model Count"
Files
README.md
Files
(66.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:823df20855e93bf23155b6be867f14ed
|
398.4 kB | Preview Download |
|
md5:0df6ad54248e31517cd18160d8ab3fef
|
6.1 kB | Download |
|
md5:615f8fdd74314c9da8460e5b805f1685
|
4.7 kB | Download |
|
md5:79e08fe3fab18412b239f785035da2d1
|
12.7 kB | Download |
|
md5:4a5effb7ff70afedea563911aaf56022
|
6.0 MB | Download |
|
md5:6bd2190cae00f7520041fe917e520207
|
17.6 MB | Download |
|
md5:cac81427a956cc2778265bf455528da1
|
5.5 MB | Preview Download |
|
md5:4f152449609d0004bfa04b81fb84efb4
|
13.7 MB | Preview Download |
|
md5:ee860ec6dece2be55fbdb2f5492fad3e
|
2.4 MB | Preview Download |
|
md5:334d0c747adc3ef649b62b78e88eb6aa
|
4.2 kB | Download |
|
md5:686d2c02fcf9cf8ee196832c5994fcb9
|
41.9 kB | Download |
|
md5:2095418b2a71671f2918535d34a4033b
|
4.7 MB | Preview Download |
|
md5:62bc94728b09d8e7e549dfbec2e00a86
|
2.6 kB | Download |
|
md5:8b90938d636563c36db33f0f855819d0
|
3.8 kB | Preview Download |
|
md5:9f05bbdbe190d1c1ea6d1c3c3a1f17e5
|
3.5 kB | Download |
|
md5:9af96dd9c2f330b8b91a5d47f8b36ae3
|
1.0 kB | Download |
|
md5:31ecea320eff1a1a7f8b9a6273d5fd7c
|
5.0 MB | Preview Download |
|
md5:8a9891e79b8a6b4b08de734da3f0e826
|
11.3 MB | Download |
Additional details
Software
- Repository URL
- https://github.com/meelgroup/MinLB
- Programming language
- Python , C++