斯派罗2011 swMATH ID: 12927 软件作者： 阿德里安·巴林；安德烈亚斯·弗罗里奇（Andreas Fröhlich）；戴夫·汤普金斯（Dave A.D.Tompkins）；霍尔格·H·胡斯 描述： SPARROW是CNF格式SAT公式的随机局部搜索（SLS）解算器。 主页： https://cs.uwaterloo.ca网站/~dtompkin/papers/satcomp11-sparrow.pdf 相关软件： 超小卫星；萨特齐拉；pfolioUZK公司；CCASat卫星；ppfolio公司；NuMVC公司；ttt批次；局部解算器；彗星；电网BnB；链卫星；PaMiraXT公司；CSPLib公司；佩尔；ManySAT公司；c-sat卫星 引用于： 2文件 全部的 前5名7位作者引用 1 萨尔瓦多阿布雷乌 1 蔡少伟 1 伊夫·卡尼奥 1 菲利普·科多涅特 1 丹尼尔·迪亚兹 1 弗洛里安·里查克斯 1 苏凯乐 2篇连载文章中引用 1 人工智能 1 约束条件 在2个字段中引用 1 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文