update software

Author: Apostolos Chalkis

_pages/software.md

@@ -58,6 +58,8 @@ for copula estimation in financial modelling and metabolic network analysis.
 
 ## Who is using our software ?
 
+- G. Spallitta, G. Masina, P. Morettin, A. Passerini, R. Sebastiani, Enhancing SMT-based Weighted Model Integration by Structure Awareness,Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, PMLR 180:1876-1885, 2022. [WWW](https://proceedings.mlr.press/v180/spallitta22a.html)  
+
 - A. Venzke, D.K. Molzahn, S. Chatzivasileiadis -
 *Efficient creation of datasets for data-driven power system applications*,
 Electric Power Systems Research, Volume 190, 2021.