Enhancing SMT-based Weighted Model Integration by Structure Awareness

Open in new window