围攻 swMATH ID: 4437 软件作者： 描述： 以下x86-linux可执行文件仅可用于非商业用途。攻城需要一个或两个参数，（第一）DIMACS-format CNF的文件名，（第二）随机数生成器的种子。例如，“siege_v4 7pipe.cnf 666”。如果未给定种子，则使用系统时间。证书等被附加到一个名为“围攻结果”的文件中。 主页： http://www.cs.sfu.ca/research/groups/CL/software/siege/ 关键词： SAT解算器 相关软件： 糠；伯克明州；超小卫星；SATO公司；PicoSAT卫星；徒步旅行；UCLID公司；葡萄糖；玲玲；图规划；亚萨特；皇家卫星；加密MiniSat；PrecoSAT公司；弯曲；海法卫星；周六4j；巴基斯坦国家税务局；ManySAT公司；格林戈 引用于： 34文件 全部的 前5名75位作者引用 三 马丁·格布瑟 三 本杰明·考夫曼 三 林奇，因斯 三 托尔斯滕·绍布（Torsten H.Schaub）。 2 阿尔伯特·阿特塞里亚斯 2 阿德南·达尔维切 2 约翰·克劳斯·费希特 2 Manolios，Panagiotis公司 2 Joáo P.塞尔瓦侯爵。 2 罗伯特·纽文胡斯 2 Pipatsrisawat，结 2 苏达珊·库马尔·斯里尼瓦桑 2 斯特里赫曼（Ofer Strichman） 2 马克·瑟利 1 托拜厄斯·阿切特伯格 1 阿西恩·阿查，罗伯托 1 大卫·A·贝尔。 1 安东·贝洛夫 1 阿明·比尔 1 马克·查维拉 1 陈一新 1 亚瑟·崔 1 杰弗里·楚 1 Czarnecki、Krzysztof 1 莱昂纳多·德·莫拉 1 纳鸿·德肖维茨 1 布鲁诺·杜特雷 1 安德烈亚斯·弗里奇（Andreas M.Fröhlich）。 1 维杰·加内什 1 赫克托·杰夫纳 1 伊恩·菲利普·根特 1 罗曼·格什曼 1 齐亚德·汉娜 1 亚伦·哈伍德 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 克里斯·杰斐逊 1 金庆伟 1 金、志 1 罗兰·卡明斯基 1 汤姆·凯尔西 1 斯蒂芬·科切马佐夫 1 李平科 1 梁家辉 1 刘伟儒 1 陆汝倩 1 Vasco M.Manquinho。 1 鲁本·马丁斯 1 奥利·迈尔 1 伊恩·米格尔 1 伊利亚·米罗诺夫 1 穆克甸 1 亚历山大·纳德尔 1 阮红生（Nguyen，Hung Son） 1 Peter W.南丁格尔。 1 阿尔伯特·奥利弗拉斯 1 马克斯·奥斯特罗斯基 1 阿科普·帕利安 1 尼古拉·佩洛夫 1 Poupart，帕斯卡 1 Dhiraj K.普拉丹。 1 尤西·林塔南 1 马吕斯·托马斯·施奈德 1 Natarajan Shankar 1 芭芭拉·史密斯。 1 兹比格涅夫·斯塔奇尼亚克 1 彼得·詹姆斯·斯塔基 1 萨蒂亚穆尔西·苏巴拉扬 1 塔里木，S.Armagan 1 尤金妮亚·特诺夫斯卡 1 范德克罗格特（van der Krogt），罗曼·P·J·。 1 文森特·维达尔 1 邢，赵 1 岳、安布 1 张林涛 1 张伟雄 全部的 前5名11篇连载文章中引用 三 人工智能 2 人工智能通信 2 可满足性、布尔建模与计算杂志 1 凯贝内提卡 1 自动推理杂志 1 运筹学年鉴 1 控制科学档案 1 人工智能研究杂志 1 约束条件 1 计算机基础理论 1 数学规划计算 在5个字段中引用 30 计算机科学（68至XX） 8 运筹学、数学规划（90-XX） 2 数理逻辑与基础（03-XX） 1 变分法与最优控制；最优化（49至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文