Văn bản này: Approximate weighted model integration on DNF structures