中国信贷银行 swMATH ID: 33995 软件作者： 赫勒，M.J.H。 描述： CnC:Cube-and-Conquer SAT解算器。这是一个存储库，用于将look-ahead解算器用作立方体解算器的Cube-and-Coquer解算器。储存库还包括两种征服溶剂：葡萄糖（葡萄糖3.0的改性物）和伊林格林（Armin Biere开发的）。 主页： https://github.com/marijnheule/CnC 源代码： https://github.com/marijnheule/CnC 相关软件： SMTCoq公司;山猫;鹦鹉螺;数学检查;github;DRAT-饰件;tawSolver软件;痕迹;数学软件;枫树;间隙 引用于： 1文件 全部的 前5名6位作者引用 1 布莱特，柯蒂斯 1 张凯文·K·H。 1 维杰·加内什 1 科齐里亚斯（Ilias S.Kotsireas）。 1 多米尼克·罗伊 1 布雷特·史蒂文斯 连载1篇 1 工程、通信和计算中的应用代数 在3个字段中引用 1 组合数学（05-XX） 1 几何图形（51至XX） 1 计算机科学（68-XX） 按年份列出的引文