@misc{indiciae8889fdd4efd5,
  title = {SMT-based Weighted Model Integration with Structure Awareness},
  author = {Giuseppe Spallitta and Gabriele Masina and Paolo Morettin and Andrea Passerini and Roberto Sebastiani},
  year = {2022},
  url = {https://arxiv.org/abs/2206.13856},
  note = {Source identifier: 2206.13856}
}