How to Exploit Structure while Solving Weighted Model Integration Problems.
Samuel Kolb, Pedro Zuidberg Dos Martires, Luc De Raedt · Lirias (KU Leuven) · 2019
sponsorship: This work has received funding from ERC AdG SYNTH(694980) and from CHIST-ERA and Research Foundation-Flanders (FWO) under the H2020 project ReGround (G0D7215N). Samuel Kolb is supported by the FWO. We thank Stefano Teso for his helpful comments. (ERC AdG SYNTH|694980, CHIST-ERA, Research Foundation-Flanders (FWO) under the H2020 project ReGround|G0D7215N, FWO, European Research Council (ERC)|694980)