Benchmark used for AAAI25 paper: Towards Real-Time Approximate Counting

This benchmark includes 2,247 instances used to evaluate the runtime performance of approximate model counting algorithms in AAAI25 paper: Towards Real-Time Approximate Counting.

Zenodo2024-12-20 更新00

Benchmarks used for Approximate Model Counting

These are the benchmark files that were used to check the performance of ApproxMC over the years. These benchmarks are the ones present in all ApprocMC papers so far.

NIAID Data Ecosystem00

Benchmarks used for Approximate Model Counting

These are the benchmark files that were used to check the performance of ApproxMC over the years. These benchmarks are the ones present in all ApprocMC papers so far.

Zenodo2024-01-01 更新00