TY  - RPRT
TI  - Top-Down Knowledge Compilation for Counting Modulo Theories
AU  - Vincent Derkinderen
AU  - Pedro Zuidberg Dos Martires
AU  - Samuel Kolb
AU  - Paolo Morettin
PY  - 2023
UR  - https://arxiv.org/abs/2306.04541
ID  - 2306.04541
ER  -