cnf formulas | BriefGPT - AI 论文速递

关键词cnf formulas

搜索结果 - 6

PBCounter: 伪布尔公式上的加权模型计数
基于动态规划算法框架 ADD，我们提出了一种加权伪布尔计数工具 PBCounter 来对伪布尔公式进行加权模型计数，并且通过与基于 CNF 公式的模型计数工具进行实验比较，结果显示 PBCounter 在 CNF 公式上具有更好的性能。
PDF6 months ago
MM可增量优化的任意时刻答案集计数
该论文介绍了一种通过假设知识编译来迭代计算答案集的技术，以改进对解空间的估计，同时避免了在计算中的指数级开销。
PDF8 months ago
SATViz: Clausal Proofs 实时可视化
SATViz 是利用变量交互图和力导向布局算法可视化 CNF 公式，能动态高亮显示最近学习子句中出现的变量，实现生成可调整边权重的变量交互图布局，在本文中介绍了 SATViz 的结构和特性，并展示了一些有趣的可视化效果。
PDF2 years ago
AAAIIMLI: 基于 MaxSAT 的可解释分类规则的增量学习框架
本文提出了 IMLI: 一种基于 MaxSAT 的增量学习方法，通过基于分区的训练方法，实现可扩展的运行时性能，从而在不损失准确性和可解释性的情况下，能够利用 MaxSAT 求解器并处理来自 UCI 存储库的基准测试数据。
PDF4 years ago
可扩展的近似模型计数器
介绍了一种基于 SAT 求解器的算法和实现工具，用于处理大规模的 CNF 公式的近似计数问题。通过多项式调用的方式，能够高精度地估算满足条件的解数，同时针对过大的问题仍能提供高置信度的估算边界。
PDF11 years ago
无环可满足性问题的后门
研究使用一个特殊的集合来使得一类复杂计算问题变得简单化的方法，利用该方法可以实现 CNF 公式求解的多项式时间算法，同时该研究提出了一些关于求解 backdoor sets 大小和检测方法的结论。
PDF13 years ago