×

伯克明州

swMATH ID: 6917
软件作者： 尤金·戈德伯格（Eugene Goldberg）；雅科夫·诺维科夫
说明： BerkMin：一款快速而强大的SAT解决方案。我们描述了一个SAT解析器BerkMin，它继承了GRASP、SATO和Chaff的特性，如子句记录、快速BCP、重启和冲突子句“老化”。同时，BerkMin引入了一种新的决策程序和一种新条款数据库管理方法。我们通过实验比较了BerkMin和Chaff，后者是基于分辨率的SAT解析器中的领导者。实验表明，我们的程序比Chaff更健壮，能够在合理的时间内解决比Chaff更多的实例。
主页： http://eigold.tripod.com/BerkMin.html
关键词： 满意度测试;决策程序;子句数据库管理
相关软件： 糠;超小卫星;SATO公司;围攻;Velev SAT基准;PicoSAT卫星;徒步旅行;SATIRE（饱和）;zChaff公司;单位步行;美国公共广播电视公司;Quaffle餐厅;DIMACS公司;萨特齐拉;海法卫星;耶路撒冷;亚萨特;皇家卫星;MiniMaxSat卫星;Zchaff2004型
引用于： 149文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
BerkMin：一个快速而强大的SAT解算器。 Zbl 1121.68106号
尤金·戈德伯格;亚科夫，诺维科夫
2007
全部的 前5名

257位作者引用

8 若昂·席尔瓦侯爵。
6 尤金·戈德堡。
5 阿明·比尔
5 林奇，因斯
5 沙拉德·马利克
5 罗伯特·纽文胡斯
4 贝恩德·贝克尔
4 罗尔夫·德雷克斯勒
4 托拜厄斯·舒伯特
4 卡斯滕·辛兹
4 法比奥·萨蒙齐
4 斯特里赫曼（Ofer Strichman）
三 Fadi A.阿卢尔。
三 尼娜·阿姆拉
三 沃尔夫冈·费伯
三 马来K·加奈。
三 罗曼·格什曼
三 阿尔蒂·古普塔
三 丹尼尔·杰克逊
三 尼古拉·利昂
三 马可·马拉提亚
三 菲利普·马里奇
三 肯尼思·麦克米兰。
三 阿尔伯特·奥利弗拉斯
三 弗朗西斯科·里卡
三 卡伦·萨卡拉。
三 特鲁什琴斯基，米洛斯奥
三 张林涛
2 艾丽卡·阿尔布拉汉姆
2 阿尔伯特·阿塞里亚斯
2 Randal E.布莱恩特。
2 科顿，斯科特
2 Czarnecki、Krzysztof
2 纳胡姆德肖维茨
2 迈克尔·德兰斯菲尔德。
2 格什温·菲
2 约翰·克劳斯·费希特
2 马丁·范策尔
2 格哈德·弗里德里希（Gerhard E.Friedrich）。
2 维杰·加内什
2 马丁·盖布瑟
2 恩里科Giunchilia
2 奥尔纳·格伦伯格
2 齐亚德·汉娜
2 克里斯蒂安·赫尔德
2 弗兰乔·伊万契奇
2 马蒂·Järvisalo
2 Jin，HoonSang公司
2 Priyank卡拉
2 本杰明·考夫曼
2 罗伯特·P·库尔珊（Robert P.Kurshan）。
2 马修·刘易斯。
2 梁家辉
2 刘冷宁
2 奥德·马勒
2 V.Wiktor马雷克
2 伊戈尔·马尔科夫。
2 亚历山大·纳德尔
2 雅科夫·诺维科夫
2 帕斯卡尔·普帕特
2 史蒂文·普雷斯特维奇。
2 阿拉提·拉马尼
2 阿什什·萨巴沃尔
2 托尔斯滕·绍布（Torsten H.Schaub）。
2 约翰·斯图尔特·施利普夫
2 马克·瑟利
2 塞萨尔·蒂内利
2 范·盖尔德，艾伦
2 米罗斯拉夫·韦列夫。
2 王超
2 Jeffrey A.沃德。
2 罗伯特·威利
2 伊曼纽尔·扎尔帕斯
1 伊格纳西·阿比奥
1 托拜厄斯·阿切特伯格
1 克努特·奥凯森
1 塔斯尼姆·纳赛尔·叶海亚
1 拉杰夫·阿鲁尔
1 亚历山德罗·阿曼多
1 尤金·亚萨林
1 马库斯·阿斯辛格
1 普拉纳夫，阿沙尔
1 阿西恩·阿查，罗伯托
1 罗伯托·阿斯因
1 太棒了，穆罕默德
1 奥利维尔·贝利
1 马塞洛·巴尔杜奇尼
1 君士坦丁·巴齐斯
1 鲍姆加特纳
1 保罗·比姆。
1 贝莱德·本哈莫
1 阿泰特·巴拉
1 比比洛，P.N。
1 尼古拉·S·比约纳。
1 斯特芬省布列桑
1 布鲁尼，雷纳托
1 Samuel R.巴斯。
1 蔡少伟
1 阿尔达·卡瓦略
1 道格拉斯·森泽
…还有157位作者
全部的 前5名

37篇连载文章中引用

6 自动推理杂志
6 数学与人工智能年鉴
6 可满足性、布尔建模与计算杂志
4 约束条件
三 人工智能
三 人工智能研究杂志
2 离散应用数学
2 理论计算机科学
2 算法杂志
2 AI通信
2 欧洲理论计算机科学协会公报
2 逻辑程序设计理论与实践
2 离散优化
2 计算机科学中的逻辑方法
1 富兰克林学院学报
1 凯贝内提卡
1 纯逻辑与应用逻辑年鉴
1 符号计算杂志
1 计算机科学与技术杂志
1 国际并行程序设计杂志
1 计算机与运筹学
1 运筹学年鉴
1 逻辑与计算杂志
1 全球优化杂志
1 离散事件动态系统
1 自动化和远程控制
1 数学编程。A系列B系列
1 控制科学档案
1 系统设计中的形式化方法
1 国际计算机与系统科学杂志
1 数值国会
1 组合优化期刊
1 计算机基础理论
1 国际计算智能与应用杂志
1 中国科学。F系列
1 数学规划计算
1 理论计算机科学课文。EATCS系列
全部的 前5名

在7个字段中引用

135 计算机科学（68至XX）
14 数学逻辑和基础（03-XX）
14 运筹学、数学规划（90-XX）
5 信息与通信理论、电路（94-XX）
2 组合数学（05-XX）
2 系统论；控制（93至XX）
1 变分法与最优控制；最优化（49至XX）

按年份列出的引文