Benchmark Set: Counting Minimum OCTs
收藏官方服务：
资源简介：
This benchmark contains instances of the model counting problem built from a graph family of (initially) constant treewidth to which cardinality constraints were added. The added constraints can increase the treewidth of the resulting CNFs.
提供机构：
Zenodo创建时间：
2025-08-16
