SMT-based weighted model integration with structure awareness.

Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani

Browse the full UAI paper archive.