Enhancing SMT-based Weighted Model Integration by Structure Awareness | Read Paper on Bytez