用通配符压缩的 ALLSAT：致 C 语言程序员的邀请
数据结构与算法
2019-03-15 v2
摘要
以 CNF 表示的一般布尔函数的模型集使用新颖的通配符以压缩格式计算。该方法可以用非常直观的方式解释。与现有方法（BDD 与 Mathematica 的 ESOP 命令）的初步比较看起来有前景，但我们的算法亟需一种 C 语言编码，以使其在更系统的方式下具有可比性。
引用
@article{arxiv.1712.00751,
title = {ALLSAT compressed with wildcards: An invitation for C-programmers},
author = {Marcel Wild},
journal= {arXiv preprint arXiv:1712.00751},
year = {2019}
}
备注
18 pages