×

徒步旅行

swMATH ID: 4328
软件作者： 巴特·塞尔曼（Bart Selman）、亨利·考茨（Henry Kautz）
描述： GSAT和WalkSat是求解布尔可满足性问题的局部搜索算法。这两种算法都适用于合取范式中的或已转换为合取范式的公式。它们首先为每个变量分配一个随机值。如果赋值满足所有子句，则算法终止，返回赋值。否则，将翻转变量，然后重复上述操作，直到满足所有子句。WalkSAT和GSAT用于选择要翻转的变量的方法不同。GSAT做出改变，使新分配中未满足的子句数量最小化，或者在一定概率下随机选择一个变量。WalkSAT首先选择当前赋值不满足的子句，然后翻转该子句中的变量。该条款通常是在未满足的条款中随机挑选的。通常会选择一个变量，这将导致之前满足的子句中最少的子句变得不满足，并且可能会随机选择其中一个变量。当随机选取时，WalkSAT保证在修复当前错误赋值的子句中至少有一个变量的机会。当选择一个被猜测为最优变量时，WalkSAT必须比GSAT做更少的计算，因为它考虑的可能性更少。
主页： http://www.cs.rochester.edu/u/kautz/walksat/
相关软件： 图规划;糠;DIMACS公司;超小卫星;SATO公司;STAN公司;CP计划;PDDL公司;伯克明州;萨特利卜;MiniMaxSat卫星;Velev SAT基准;UBCSAT公司;CCLS公司;周六4j;SAPA公司;围攻;玲玲;液化石油气;UnitWalk公司
引用于： 212文件
全部的 前5名

392位作者引用

15 巴特·塞尔曼
7 霍尔格·H·胡斯。
7 亨利·考茨。
6 丹尼尔·贝伦德
6 赫克托·杰夫纳
6 Yochai的Twitto
5 埃里克·格雷戈里
5 霍夫曼，约格
5 贾海霞
5 Niemelä，Ilkka N.F。
5 Wah，Benjamin W.S.本杰明·华。
4 陈一新
4 戈兰，沙哈尔
4 卡拉·戈麦斯。
4 克里斯托弗·摩尔
4 阿什什·萨巴沃尔
三 布莱·博内
三 Dimitriou，Tassos D。
三 哈比巴·德里亚斯
三 阿方索·埃米利奥·杰雷维尼
三 顾军
三 爱德华·赫施。
三 Adele E.豪。
三 阿琳·佩斯
三 尤西·林塔南
三 拉赫达尔·塞伊斯
三 伊凡·塞琳娜
三 托马斯·G·Stützle。
三 格尔森·扎维鲁查
三 里卡多·西葫芦
三 张伟雄
2 阿奇利奥普塔斯，迪米特里斯
2 穆苏诺里·班巴拉
2 罗伯托·巴蒂蒂
2 阿尔弗雷多·布劳恩斯坦
2 维托尔·桑托斯·科斯塔
2 伊恩·菲利普·根特
2 凯乔·赫尔扬科
2 弗兰克·哈特
2 茨城，东芝
2 川崎岩马
2 马蒂·Järvisalo
2 卢卡斯·克罗克
2 李，吉米·霍曼
2 莱顿·布朗，凯文
2 李楚敏
2 马吕斯·林道尔
2 林奇，因斯
2 沙拉德·马利克
2 马可·马拉提亚
2 贝特朗·马祖尔
2 希拉·麦克拉伊思。
2 伊恩·米格尔
2 大卫·G·M·米切尔（David G.M.Mitchell）。
2 亚历山大·纳雷耶克
2 Peter W.南丁格尔。
2 佩卡·奥波宁
2 安德鲁·帕克斯。
2 瓦伦蒂娜·波吉奥尼
2 马尔科·普罗塔西
2 萨卡里·塞茨
2 彼得·詹姆斯·斯塔基
2 帕维尔·苏瑞克
2 田村直之
2 塔里木，S.Armagan
2 马库斯·特里斯卡
2 范·盖尔德，艾伦
2 文森特·维达尔
2 王金燕
2 吴京丽
2 邢，赵
2 Mutsunori Yagiura
2 尹明浩
1 斯利扬卡阿查里亚
1 埃琳娜·艾克利。
1 雷娜塔·艾克斯（Renata M.Aiex）。
1 Mikko J.阿拉瓦。
1 迈克尔·阿列克诺维奇
1 里卡多·阿勒
1 安东·安德烈库克
1 克劳迪奥·安吉奥内
1 法布里齐奥·安吉乌利
1 戴维·安萨特
1 玛尔塔·阿里亚斯
1 多尔·阿兹蒙
1 奥利维尔·贝利
1 马可·巴奥莱蒂
1 阿德里安·巴林特
1 奇塔·R·巴拉尔。
1 本杰明·巴兰
1 萨姆·贝利斯
1 肖姆·本·达维德
1 雷切尔·本·埃利亚胡·佐哈里
1 伊莱·本·萨森
1 蒂埃里·贝诺伊斯特
1 萨拉·贝尔纳迪尼
1 碧姬贝桑特
1 卞正兵
1 梅亨·宾文努
1 阿明·比尔
…还有292名作者
全部的 前5名

40篇连载文章被引用

35 人工智能
13 人工智能研究杂志
10 数学与人工智能年鉴
6 离散应用数学
6 自动推理杂志
5 启发式杂志
5 约束条件
4 SIAM计算机杂志
4 AI通信
4 计算机科学讲义
三 理论计算机科学
三 ACM实验算法杂志
三 离散优化
三 可满足性、布尔建模与计算杂志
2 运筹学年鉴
2 机器学习
2 全球优化杂志
2 欧洲运筹学杂志
2 组合优化期刊
2 优化信函
1 国际通用系统杂志
1 计算
1 信息科学
1 编程和计算机软件
1 符号计算杂志
1 算法
1 信息与计算
1 计算机与运筹学
1 SIAM离散数学杂志
1 复杂系统
1 随机结构与算法
1 逻辑与计算杂志
1 应用智能
1 逻辑、语言与信息杂志
1 SIAM科学计算杂志
1 运筹学国际交易
1 机器学习研究杂志（JMLR）
1 4OR（或）
1 应用逻辑杂志
1 计算机科学中的逻辑方法
全部的 前5名

在14个字段中引用

192 计算机科学（68至XX）
49 运筹学、数学规划（90-XX）
15 数学逻辑和基础（03-XX）
6 组合数学（05-XX）
6 信息与通信理论、电路（94-XX）
5 博弈论、经济学、金融和其他社会和行为科学（91-XX）
三 阶、格、有序代数结构（06-XX）
三 概率论与随机过程（60-XX）
三 数值分析（65-XX）
1 总体主题；集合（00-XX）
1 统计学（62-XX）
1 量子理论（81-XX）
1 统计力学，物质结构（82-XX）
1 生物学和其他自然科学（92-XX）

按年份列出的引文