Counting the Number of Solutions to Constraints [article]

Jian Zhang, Cunjing Ge, Feifei Ma
<span title="2020-12-28">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Compared with constraint satisfaction problems, counting problems have received less attention. In this paper, we survey research works on the problems of counting the number of solutions to constraints. The constraints may take various forms, including, formulas in the propositional logic, linear inequalities over the reals or integers, Boolean combination of linear constraints. We describe some techniques and tools for solving the counting problems, as well as some applications (e.g.,
more &raquo; ... ions to automated reasoning, program analysis, formal verification and information security).
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2012.14366v1">arXiv:2012.14366v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fzhrfpfkanbvth6kwzrwpxioa4">fatcat:fzhrfpfkanbvth6kwzrwpxioa4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210105082735/https://arxiv.org/pdf/2012.14366v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/53/10/53107dc7971b4b19230bdc1f2ba9d94dd908bc1b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2012.14366v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>