Published April 18, 2025
| Version v1
Dataset
Restricted
Hamming weight based model counting benchmarks
-
1.
Indian Institute of Technology Ropar
Description
benchmarks description included as pdf.
Files
Restricted
The record is publicly accessible, but files are restricted to users with access.