刘冷宁;特鲁什琴斯基,米洛斯奥 使用局部搜索技术对伪布尔约束的布尔组合进行可满足性测试。 (英语) Zbl 1211.68386号 约束条件 12,第3号,345-369(2007).MSC公司:68T20型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}和\textit{M.Truszczyn ski},约束12,第3号,345--369(2007;Zbl 1211.68386) 全文: 内政部
奥格伦,马格纳斯;Flener,皮埃尔;贾斯汀·皮尔逊 用于局部搜索的通用增量算法。 (英语) Zbl 1211.68374号 约束条件 第3期第12期,第293-324页(2007年).MSC公司:68T20型 03B15号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.奥格伦}等人,《约束12》,第3期,293--324(2007;Zbl 1211.68374) 全文: 内政部
卡洛斯·科塔;伊万·多图;安东尼奥·J·费尔南德斯。;帕斯卡·范·亨特利克 用于查找Golomb规则的基于局部搜索的混合算法。 (英语) Zbl 1211.90194号 约束条件 第3期第12期,第263-291页(2007年).MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{C.Cotta}等人,《限制条件》12,第3期,263--291(2007;Zbl 1211.90194) 全文: 内政部
埃里克·格雷戈里;贝特朗·马祖尔;塞德里克馅饼 mUS的局部搜索提取。 (英语) Zbl 1211.90307号 约束条件 12,第3期,325-344(2007).MSC公司:90 C59 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Grégoire}等人,约束12,No.3,325--344(2007;Zbl 1211.90307) 全文: 内政部