TY  - RPRT
TI  - SMT-based Weighted Model Integration with Structure Awareness
AU  - Giuseppe Spallitta
AU  - Gabriele Masina
AU  - Paolo Morettin
AU  - Andrea Passerini
AU  - Roberto Sebastiani
PY  - 2022
UR  - https://arxiv.org/abs/2206.13856
ID  - 2206.13856
ER  -