Efficient Weighted Model Integration via SMT-Based Predicate Abstraction.

Paolo Morettin, Andrea Passerini, Roberto Sebastiani

Browse the full IJCAI paper archive.