Approximate weighted model integration on DNF structures

Ralph Abboud, Ismail Ilkan Ceylan, Radoslav Dimitrov. Approximate weighted model integration on DNF structures. Artificial Intelligence, 311:103753, 2022. [doi]

Abstract

Abstract is missing.