Published June 3, 2022
| Version v1
Dataset
Open
Weighted Model Counting with Twin-Width: Experimental Results
- 1. TU Wien
- 2. Masaryk University
Description
The results of our paper "Weighted Model Counting with Twin-Width" published at SAT 2022
Files
signed_results.csv
Files
(18.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d37f74c8ad7759bdc1ee88e762865020
|
18.8 kB | Preview Download |