×

3月2日

swMATH ID: 548
软件作者： Heule，Marijn；马克·杜福尔（Mark Dufour）；Joris van Zwieten；汉斯·范马伦
描述： March_eq：将附加推理实现为高效的look-ahead SAT解算器本文讨论了使可满足性（Sat）解算器的look-ahead体系结构更具竞争力的几种技术。我们的贡献包括减少执行前瞻性的计算成本，以及等价推理和局部学习的廉价集成。大多数提出的技术都通过在我们的求解器march_eq中实现的实验结果进行了说明。
主页： http://www.isa.ewi.tudelft.nl/sat/march_eq.htm
相关软件： 超小卫星;糠;玲玲;弯曲;SATO公司;钙DiCaL;Treengeling公司;萨特齐拉;帕拉米尔斯;SMAC公司;PrecoSAT公司;ManySAT公司;DIMACS公司;UBCSAT公司;巴基斯坦国家税务局;徒步旅行;千立方英尺;帕拉库巴;基萨特;github
引用于： 13文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
March_eq：将额外的推理实现为高效的look-ahead SAT求解器。 Zbl 1122.68599号
Marijn脚后跟;马克·杜福尔;乔里斯·范·兹维滕;汉斯·范马伦
2005
全部的 前5名

30位作者引用

三 Niemelä，Ilkka N.F。
2 吉拉尔德斯·克鲁，杰苏斯
2 Heule，Marijn J.H。
2 汤米·A·琼蒂拉。
2 奥利弗·库尔曼
2 约尔迪·利维
2 汉斯·范马伦
1 坦比尔·艾哈迈德
1 亚历山德罗·阿曼多
1 克劳迪奥·卡斯泰里尼
1 吉勒·德肯
1 马克·R·杜福尔。
1 恩里科·金西格里亚
1 哈里·哈帕德
1 P.R.赫维格。
1 霍尔格·H·胡斯。
1 安蒂·E·J·海瓦·里宁。
1 索丽娜·爱奥尼卡
1 马蒂·Järvisalo
1 佩特里·卡斯基
1 泰罗·莱廷
1 凯文·莱顿·布朗
1 马吕斯·林道尔
1 马可·马拉提亚
1 阿什什·萨巴沃尔
1 托尔斯滕·绍布（Torsten H.Schaub）。
1 亨特·S·斯内维（Hunter S.Snevily）。
1 莫尼卡·特里莫斯卡
1 范兰巴金，P.M。
1 乔里斯·范·兹维滕
全部的 前5名

6篇连载文章中引用

三 人工智能
1 离散应用数学
1 自动推理杂志
1 组合数学电子期刊
1 约束条件
1 可满足性、布尔建模与计算杂志

在2个字段中引用

12 计算机科学（68至XX）
2 组合数学（05-XX）

按年份列出的引文