杰罗德·贾格尔;莎莉,登山者;张伟雄 基于整数规划、分枝定界和布尔可满足性的完全简约单倍型推理问题及算法。 (英语) Zbl 1362.92046号 J.离散算法 37, 68-83 (2016).MSC公司:92D10型 65年第68季度 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger}等人,《离散算法》37,68–83(2016;Zbl 1362.92046) 全文: 内政部
黄,R。;陈一新;张伟雄 SAS+规划作为可满足性。 (英语) Zbl 1244.68071号 J.人工制品。因特尔。研究(JAIR) 43, 293-328 (2012). 审核人:贾纳·科勒(卢塞恩) MSC公司:68T20型 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{R.Huang}等人,J.Artif。因特尔。研究(JAIR)43,293--328(2012;Zbl 1244.68071) 全文: 内政部 arXiv公司
陈一新;黄若云;邢,赵;张伟雄 规划中的远距离互斥。 (英语) Zbl 1192.68639号 Artif公司。智力。 173,第2期,365-391(2009).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chen}等人,Artif。因特尔。173,第2号,365-391(2009;Zbl 1192.68639) 全文: 内政部
邢,赵;张伟雄 MaxSolver:一种有效的(加权)最大可满足性精确算法。 (英语) Zbl 1132.68716号 Artif公司。智力。 164,编号1-2,47-80(2005).MSC公司:68T20型 65年第68季度 90C05(二氧化碳) 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Xing}和\textit{W.Zhang},Artif。因特尔。164,编号1--2,47-80(2005;Zbl 1132.68716) 全文: 内政部
张伟雄 配置景观分析和主干引导的本地搜索。一: 可满足性和最大可满足性。 (英语) Zbl 1085.68678号 Artif公司。智力。 158,第1期,1-26期(2004年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang},艺术。因特尔。158,第1号,1--26(2004;Zbl 1085.68678) 全文: 内政部
张伟雄 迭代状态空间缩减,实现灵活计算。 (英语) Zbl 0969.68137号 Artif公司。智力。 126,编号1-2,109-138(2001).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang},人工制品。因特尔。126,编号1--2,109-138(2001;Zbl 0969.68137) 全文: 内政部
约瑟夫·彭伯顿。;张伟雄 Epsilon变换:利用相变解决组合优化问题。 (英语) Zbl 1508.68343号 Artif公司。智力。 81,第1-2号,297-325(1996).MSC公司:68T20型 65年第68季度 第68季度87 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Pemberton}和\textit{W.Zhang},Artif。因特尔。81,编号1--2,297--325(1996;Zbl 1508.68343) 全文: 内政部