Efficient Search-Based Weighted Model Integration

Zhe Zeng, Guy Van den Broeck

Abstract: Weighted model integration (WMI) extends Weighted model counting (WMC) to the integration of functions over mixed discrete-continuous domains. It has shown tremendous promise for solving inference ...