Published April 8, 2026
| Version v2
Dataset
Open
Artifact of On Lower Bounding Minimal Model Count (ICLP-24)
Authors/Creators
-
1.
Georgia Institute of Technology
Description
It contains the benchmark and experimental log files of our work "On Lower Bounding Minimal Model Count"
Files
HashCounterInput.zip
Files
(63.9 MB)
| Name | Size | |
|---|---|---|
|
md5:5b762fe9b7808aeca4b7404bd62f018a
|
6.4 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:8565b88ee676bff196afa75e7b1c7d71
|
13.7 MB | Preview Download |
|
md5:334d0c747adc3ef649b62b78e88eb6aa
|
4.2 kB | Download |
|
md5:334d0c747adc3ef649b62b78e88eb6aa
|
4.2 kB | Download |
|
md5:51f715390807d5e6e44fde278fc70b36
|
657 Bytes | Download |
|
md5:2095418b2a71671f2918535d34a4033b
|
4.7 MB | Preview Download |
|
md5:62bc94728b09d8e7e549dfbec2e00a86
|
2.6 kB | Download |
|
md5:d88dd5e1b756628c41b83e5cfa78c694
|
2.4 kB | Preview Download |
|
md5:3e7381a0e8f0841299bd0c262def813c
|
309 Bytes | Download |
|
md5:7b06ec72606c0052c0b54a2771efa130
|
475 Bytes | Download |
|
md5:392277e9b04c2f605f11770785ad1ae8
|
534 Bytes | Download |
|
md5:4e8819997a12e6341b6c0c7e1062edc1
|
535 Bytes | Download |
|
md5:31ecea320eff1a1a7f8b9a6273d5fd7c
|
5.0 MB | Preview Download |
|
md5:8a9891e79b8a6b4b08de734da3f0e826
|
11.3 MB | Download |
|
md5:f79d7c59099a4804edb0d39d62b0b96c
|
20.0 kB | Download |
Additional details
Software
- Repository URL
- https://github.com/meelgroup/MinLB
- Programming language
- Python , C++