顾军 可满足性（SAT）测试的并行算法。 （英语） Zbl 0938.68150号 Pardalos，Panos M.（编辑），离散问题的并行处理。研讨会论文集，IMA，美国明尼苏达州明尼阿波利斯，1997年5月12日至16日。纽约州纽约：施普林格。IMA卷数学。申请。第106、85-138页（1999年）。MSC公司：68宽10 2015年第68季度 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}，IMA卷数学。申请。106、85--138（1999年；Zbl 0938.68150）
顾军 SAT和调度问题的随机确定性局部搜索。 （英语） Zbl 0912.68020号 Pardalos，Panos（编辑）等人，算法设计中的随机化方法。DIMACS研讨会，美国新泽西州普林斯顿大学，1997年12月12日至14日。普罗维登斯，RI:AMS，美国数学学会。DIMACS，系列。离散数学。西奥。计算。科学。43, 61-108 (1999).MSC公司：68页第10页 68宽10 03B05号 91B06型 90B35型 68平方米 90C27型 91立方厘米32 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}，DIMACS，序列号。离散数学。西奥。计算。科学。43、61-108（1999年；Zbl 0912.68020）
顾军 Multi-SAT算法。 （英语） Zbl 0902.68094号 Pardalos，Panos M.（编辑）等人，《半定和内点方法的主题》。普罗维登斯，RI:AMS，美国数学学会。字段Inst.Commun。18, 109-126 (1998).MSC公司：2012年第68季度 03B05号 91B06型 68吨15 90C27型 90B40码 68T01型 2015年第68季度 65年第68季度 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}，Fields Inst.Commun公司。18、109-126（1998年；Zbl 0902.68094）
顾军；保罗·普多姆（Paul W.Purdom）。；约翰·佛朗哥；Wah，Benjamin W。 可满足性（SAT）问题的算法：综述。 （英语） Zbl 0945.03040号 杜定竹（编）等，可满足性问题：理论与应用。DIMACS研讨会，美国新泽西州皮斯卡塔韦，1996年3月11日至13日。普罗维登斯，RI:AMS，美国数学学会。DIMACS，系列。离散数学。西奥。计算。科学。35, 19-151 (1997).MSC公司：03B70号 68T20型 90C27型 90 C90 68瓦99 03-02 68-02 03B05号 03B25号 65年第68季度 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}等人，DIMACS，序列号。离散数学。西奥。计算。科学。35，19-151（1997年；兹bl 0945.03040）
杜定珠（编辑）；顾军（编辑）；帕诺斯·帕达洛斯（Panos M.Pardalos）。（编辑） 可满足性问题：理论与应用。DIMACS研讨会，美国新泽西州皮斯卡塔韦，1996年3月11日至13日。 （英语） Zbl 0881.00041号 DIMACS系统。离散数学和理论计算机科学系列. 35. 普罗维登斯，RI：美国数学学会（AMS）。xv，724页（1997年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit｛D.Du｝（编辑）等人，可满足性问题：理论和应用。DIMACS研讨会，美国新泽西州皮斯卡塔韦，1996年3月11日至13日。普罗维登斯，RI:AMS，美国数学学会（1997；Zbl 0881.00041）
顾军；顾、钱平；杜定竹 SAT问题优化算法的收敛性。 （英语） Zbl 1048.68567号 IEEE传输。计算。 45，第2期，209-219（1996）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}等人，IEEE Trans。计算。45，第2号，209--219（1996；Zbl 1048.68567） 全文： 内政部
鲁契尔·普里；顾军 满足性测试的BDD SAT解算器：工业案例研究。 （英语） Zbl 0891.68003号 安。数学。Artif公司。智力。 17，编号3-4，315-337（1996）.MSC公司：2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{R.Puri}和\textit{J.Gu}，Ann.数学。Artif公司。智力。17，编号3--4，315--337（1996；Zbl 0891.68003） 全文： 内政部
顾军 可满足性（SAT）问题的并行算法。 （英语） Zbl 0833.68059号 Pardalos，Panos M.（编辑）等，离散优化问题的并行处理。DIMACS研讨会论文集，1994年4月28日至29日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI：美国数学学会。DIMACS，系列。离散数学。西奥。计算。科学。22, 105-161 (1995).MSC公司：68宽15 03B05号 91B06型 68吨15 2012年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}，DIMACS，序列号。离散数学。西奥。计算。科学。22105-161（1995年；Zbl 0833.68059）
顾军 可满足性（SAT）问题的优化算法。 （英语） Zbl 0837.68040号 Du，Ding-Zhu（编辑）等，《优化和近似的进展》。多德雷赫特：Kluwer学术出版社。非凸面优化。申请。1, 72-154 (1994).MSC公司：68宽10 90 C90 90立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}，非凸优化。申请。1、72--154（1994年；Zbl 0837.68040）