GenPSAT公司 swMATH ID: 24009 软件作者： 卡洛斯·卡莱罗；卡萨尔、菲利佩；安德烈亚·莫迪多 描述： 广义概率可满足性。我们分析了一个广义概率可满足性问题（GenPSAT），该问题包括判定涉及经典命题公式概率的线性不等式的可满足性。证明了GenPSAT是{ssf-NP}-完备的，并给出了混合整数规划的多项式约简。利用这个翻译，我们实现并测试了GenPSAT问题的求解器。正如之前对许多其他NP完全问题所观察到的那样，我们能够检测到GenPSAT的相变行为。 主页： https://github.com/fcasal/genpsat网站 源代码： https://github.com/fcasal/genpsat网站 关键词： 概率可满足性；GenPSAT公司；混合整数编程；相变 相关软件： 古罗比；角砾岩；博客；LIRA公司 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 广义概率可满足性。 Zbl 1401.68113号卡洛斯·卡莱罗；菲利佩·卡萨尔；安德烈亚·莫迪多 2017 全部的 前5名9位作者引用 三 卡洛斯·卡莱罗 三 安德烈亚·莫迪多 2 菲利佩·卡萨尔 1 克莱恩，M。 1 范秀仪 1 托马斯·亨德森。 1 阿马尔·米提奇 1 萨查尼，D。 1 伯纳德·塞尔维诺夫斯基 3篇连载文章中引用 1 人工智能 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 在5个字段中引用 4 计算机科学（68至XX） 2 运筹学、数学规划（90-XX） 1 数学逻辑和基础（03-XX） 1 一般代数系统（08-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文