https://mccompetition.org/
Model Counting | Since 2020
model countingsince
https://arxiv.org/abs/1404.2984
[1404.2984] Distribution-Aware Sampling and Weighted Model Counting for SAT
Abstract page for arXiv paper 1404.2984: Distribution-Aware Sampling and Weighted Model Counting for SAT
model countingdistributionawaresampling
https://www.research.autodesk.com/publications/exploiting-structure-in-weighted-model-counting-approaches-to-probabilistic-inference/
Exploiting Structure in Weighted Model Counting Approaches to Probabilistic Inference
Apr 29, 2025 - Previous studies have demonstrated that encoding a Bayesian network...
model countingexploitingstructureweightedapproaches
https://collaborate.princeton.edu/en/publications/adaptive-hashing-for-model-counting/
Adaptive Hashing for Model Counting - Princeton University
model countingadaptivehashingprincetonuniversity
https://kth.diva-portal.org/smash/record.jsf?faces-redirect=true&language=no&searchType=SIMPLE&query=&af=%5B%5D&aq=%5B%5B%5D%5D&aq2=%5B%5B%5D%5D&aqe=%5B%5D&pid=diva2%3A1822977&noOfRows=50&sortOrder=author_sort_asc&sortOrder2=title_sort_asc&onlyFullText=false&sf=all
Generation of Photon-counting Spectral CT Images Using a Score-based Diffusion Model