Key points are not available for this paper at this time.
모델 카운팅은 컴퓨터 과학에서 기본적인 작업으로, 부울 공식에 대한 만족하는 할당의 수를 결정하는 것입니다. 이는 일반적으로 정규 곱셈 형태(CNF)로 표현됩니다. CNF 공식에 대한 모델 카운팅은 넓은 범위의 응용으로 많은 주목을 받았지만, 의사-불리언(PB) 공식에 대한 모델 카운팅 연구는 상대적으로 간과되었습니다. 의사-불리언 공식은 논리적 불리언 공식보다 더 간결하게 표현되어 실제 문제를 더 유연하게 나타낼 수 있습니다. 따라서 PB 공식에 대한 모델 카운팅을 위한 효율적인 기술을 조사해야 하는 중요한 필요성이 있습니다. 본 연구에서는 대수적 결정 다이어그램을 통한 지식 컴파일 접근 방식을 기반으로 하는 최초의 정확한 의사-불리언 모델 카운터인 PBCount를 제안합니다. 우리의 광범위한 경험적 평가는 PBCount가 1513 사례에 대해 카운트를 계산할 수 있는 반면, 현재의 최첨단 접근 방식은 1013 사례만 처리할 수 있음을 보여줍니다. 우리의 작업은 PB 공식에 대한 모델 카운팅의 맥락에서 전처리 기술 개발 및 지식 컴파일 이외의 접근 방식 탐색과 같은 몇 가지 미래 작업의 경로를 엽니다.
Yang et al. (Sun,)은 이 질문을 연구했습니다.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: