This repository holds all source code (that I am legally allowed to distribute) related to the following publications:
- Dilkas P., Belle V. Weighted Model Counting with Conditional Weights for Bayesian Networks. UAI 2021.
- Dilkas P., Belle V. Weighted Model Counting Without Parameter Variables. SAT 2021.