Enhancing SMT-based weighted model integration by structure awareness

DOI10.1016/j.artint.2024.104067WikidataQ129632485 ScholiaQ129632485MaRDI QIDQ6494358

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

Publication date: 30 April 2024

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

weighted model integrationhybrid probabilistic inferencesatisfiability Modulo theories

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Enhancing SMT-based weighted model integration by structure awareness