Scifaro

中文

约束解的数量计数

人工智能 2020-12-29 v1 软件工程

作者: Jian Zhang , Cunjing Ge , Feifei Ma

在 arXiv 上查看 ↗ PDF ↗

摘要

与约束满足问题相比，计数问题受到的关注较少。本文中，我们综述了关于约束解数量计数问题的研究工作。约束可呈现多种形式，包括命题逻辑中的公式、实数或整数上的线性不等式、线性约束的布尔组合。我们描述了求解计数问题的一些技术与工具，以及一些应用（例如，在自动推理、程序分析、形式化验证与信息安全中的应用）。

关键词

约束计数解计数命题逻辑线性约束自动推理形式化验证

引用

@article{arxiv.2012.14366,
  title  = {Counting the Number of Solutions to Constraints},
  author = {Jian Zhang and Cunjing Ge and Feifei Ma},
  journal= {arXiv preprint arXiv:2012.14366},
  year   = {2020}
}