尤里卡 swMATH ID: 9483 软件作者： 亚历山大·纳德尔；莫兰·戈登；阿米特·帕尔蒂；齐亚德·汉纳 描述： Eureka-2006 SAT解决方案。我们描述了SAT求解器Eureka。Eureka是最先进的SAT解算器，用于Intel的各种形式验证流。Eureka基于回溯搜索DPLL算法，通过失败驱动的断言循环进行增强；非标准冲突分析；重启和子句删除策略；CBH决策启发式与决策堆栈收缩 主页： http://www.cs.tau.ac.il/research/alexander.nadel/Eureka.pdf 相关软件： 超小卫星;糠;Zchaff2004型;RSat公司;伯克明州;围攻;耶路撒冷;PicoSAT公司 引用于： 2文件 4位作者引用 1 阿德南·达尔维切 1 亚历山大·纳德尔 1 Pipatsrisawat，结 1 瓦迪姆·里夫钦 连载1篇 1 人工智能 在1个字段中引用 2 计算机科学（68-XX） 按年份列出的引文