Technical Perspective

ACM SIGMOD Record Pub Date : 2022-05-31 DOI:10.1145/3542700.3542720

David P. Woodruff

引用次数: 0

Abstract

Model counting is the problem of approximately counting the number |Sol(Φ)| of satisfying assignments to a given model Φ, which could, for example, be a formula in conjunctive normal form (CNF) or a formula in disjunctive normal form (DNF).

查看原文本刊更多论文

技术的角度来看

模型计数是对给定模型Φ的满足赋值的近似计数|Sol(Φ)|的问题，例如，它可以是合取范式(CNF)或析取范式(DNF)的公式。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

ACM SIGMOD Record

自引率

0.00%

发文量