TY  - RPRT
TI  - SharpSAT-TD in Model Counting Competitions 2021-2023
AU  - Tuukka Korhonen
AU  - Matti Järvisalo
PY  - 2023
UR  - https://arxiv.org/abs/2308.15819
ID  - 2308.15819
ER  -