maximum satisfiability | BriefGPT

关键词maximum satisfiability

搜索结果 - 5

证明的最大可满足性预处理
基于 Bool 型可满足性的进展，极大可满足性已成为解决 NP 困难优化问题的可行方法，但确保 MaxSAT 求解器的正确性仍然是一个重要问题。本文介绍如何使用伪布尔型证明记录来验证广泛的现代 MaxSAT 预处理技术的正确性，通过结合 V
PDF2 months ago
利用矩阵乘法解决 MaxSAT 问题
我们提出了一种针对神经网络加速器（如 GPU 和 TPU）运行的不完全的最大可满足性（MaxSAT）算法，该算法通过构建具有指数数量布尔赋值的平衡分布的受限玻尔兹曼机（RBM）来解决 MaxSAT 问题，使用并行马尔可夫链中的块 Gibbs
PDF8 months ago
可解释分类规则的高效学习
本文介绍了一种名为 IMLI 的基于最大可满足性的可解释学习框架，通过结合小批量学习和迭代规则学习的方法，实现了分类规则的合成。实验结果表明，IMLI 在预测准确性、可解释性和可伸缩性之间取得了最好的平衡，并用于学习流行的可解释分类器，如决
PDF2 years ago
加权布尔优化算法
本文提出了加权布尔优化（Weighted Boolean Optimization，WBO）的新统一框架，并提出了一种基于不可满足性的算法为 WBO 提供解决方案，并且该算法可用于解决众多相关问题，包括非常规的伪布尔约束条件。实验结果表明
PDF15 years ago
使用不可满足性解决最大可满足性问题
本研究分析了现有的基于不可满足子公式识别的最大可满足性问题（MaxSAT）算法，并提出了几个关键性优化和新的替代算法，这些优化和新算法在实际应用中的 MaxSAT 实例上提供了显着的性能提升。
PDF17 years ago