逻辑2CNF swMATH ID: 28594 软件作者: 亚当·纳莫维奇 描述: Logic2CNF是流行的SAT求解器MiniSAT的扩展。Logic2CNF是一种基于MiniSAT的易于使用的命题逻辑求解器(http://minisat.se网站). 逻辑使用简单的语法进行编程(而不必将逻辑转换为DIMACS),并且所有CNF转换都是自动的。 主页: http://ports.su/math/logic2cnf 依赖项: 微型卫星 相关软件: 米扎尔;OMDoc公司;伊萨尔;存档正式证据;MML公司;月收入;MPTP 0.2;MPTP公司;Coq公司;精益;Metamath公司;罗丹;校对员;米兹3;伊莎贝尔/PIDE;Twelf公司;伊莎贝尔/采埃孚;SPASS公司;伊莎贝尔/伊萨尔;Mizar模式 引用于: 6文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 借助外部SAT解算器,在Mizar证明检查中自动执行布尔集操作。 Zbl 1356.68197号亚当·纳莫维奇 2015 全部的 前5名9位作者引用 三 亚当·纳莫维奇 2 亚当·格拉博夫斯基 2 阿图尔·科尔尼·奥维茨 2 Pąk,卡罗尔 1 格拉泽戈兹·班塞雷克 1 Czesław拜林斯基 1 塞萨里·卡利西克 1 罗马人Matuszewski 1 拉多斯·瓦·皮利泽克 3篇连载文章中引用 三 自动推理杂志 1 计算机基础理论 1 计算机语言、系统和结构 在2个字段中引用 6 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文