协处理器 swMATH ID: 16739 软件作者： 诺伯特·曼泰 描述： 协处理器2.0–灵活的CNF简化程序（工具演示）。本文提出了CNF简化器协处理器2.0，它是协处理器[1]的扩展。它以模块化的方式实现了几乎所有当前已知的简化技术，并提供了对每种技术的访问，以独立执行这些技术。也可以对一组变量禁用预处理，并允许对增量SAT解算应用简化。实验表明，协处理器2.0的性能优于其前身或SatElite[ 主页： http://link.springer.com/chapter/10.1007/978-3-642-31612-8_34 相关软件： 玲玲；超小卫星；褶皱；Treengeling公司；糠；DRAT-饰件；加密MiniSat；钙DiCaL；YalSAT卫星；伊西查尔；PaInleSS公司；HordeSat卫星；ManySAT公司；夏普SAT；运行求解器；LMHS公司；最大HS；SCIP公司；Sparrow2距离；SAT竞赛 引用于： 12文件 全部的 前5名被31位作者引用 三 Järvisalo，马蒂 2 杰里米亚斯·伯格 2 马库斯·伊泽尔 2 Jean-Marie拉格尼茨 2 皮埃尔·侯爵 2 托拜厄斯·菲利普 1 阿德里安·巴林 1 李·巴奈特（Lee A.Barnett）。 1 Bayless，山姆 1 贝恩德·贝克尔 1 阿明·比尔 1 蔡少伟 1 大卫·M·塞尔纳。 1 弗罗莱克斯，尼尔斯 1 卡里娜·吉蒂娜 1 Heule，Marijn J.H。 1 霍尔格·H·胡斯。 1 弗兰克·哈特 1 凯文·莱顿·布朗 1 马里乌斯·林道尔 1 伊曼纽尔·隆卡 1 罗，川 1 诺伯特·曼恩 1 珍妮弗·尼斯特 1 阿德里安·雷博拉·帕多 1 保罗·赛科 1 克里斯托夫·斯科尔 1 卡斯滕·辛兹 1 苏凯乐 1 马丁·苏达 1 拉尔夫·维默（Ralf D.Wimmer）。 2篇连载文章中引用 4 人工智能 1 自动推理杂志 在4个字段中引用 12 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 统计学（62-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文