1 N.Alon和J.H.Spencer。 概率方法。 威利，1992年。 谷歌学者 
2 T.阿萨诺。 MAX SAT的近似算法：Yannakakis vs.Ooemans-Williamson。 程序中。 第三届以色列理论与竞争系统研讨会，以色列拉马特甘，第24-37页，1997年。 谷歌学者 数字图书馆 
三。 B.AspvaU、M.F.Plass和R.E.Tarjan。用于测试某些量化布尔公式真实性的线性时间算法。 信息处理信件，8:121-1231979。 见《信息处理信件》中的勘误表，14（1982），第195页。 谷歌学者 交叉引用 
4 $. A.厨师。 理论证明程序的复杂性。 程序中。 第三届美国计算机学会计算机理论年会，俄亥俄州Shaker Heights，第151-1581971页。 谷歌学者 数字图书馆 5 N.Creignou。 最大广义可满足性问题的一个二分法定理。 《计算机与系统科学杂志》，51:511-5221995年。 谷歌学者 数字图书馆 6 P.Crescenzi和L.Trevisan。 最大NP-完整性变得容易。 技术报告，E-CCC报告编号TR97-0391997。 谷歌学者 7 W.F.Dowling和J.H.Gallier。 用于测试命题horn公式可满足性的线性时间算法。 《逻辑程序设计杂志》，1:267-2841984年。 谷歌学者 交叉引用 8 S.Even、A.Itai和A.Shamlr。 关于时间表和多商品流问题的复杂性。 SIAM计算机杂志，5:691-7031976。 谷歌学者 交叉引用 9 T.Feder和M.Y.Vardi。 单调单子SNP与约束满足。 程序中。 1993年，加利福尼亚州圣地亚哥，第25届年度计算机理论研讨会，第612-622页。 谷歌学者 数字图书馆 10 U.Feige和M.X.Goemans。 近似两个校准器证明系统的x值，并应用于MAX-2SAT和MAX-DICUT。 程序中。 第三届以色列理论与计算系统研讨会，以色列特拉维夫，第182-189页，1995年。 谷歌学者 数字图书馆 11 N.Garg、V.V.Vazirani和M.Yannakakis。 近似最大流最小（多）割定理及其应用。 SIAM计算机杂志，25:235-2511996。 谷歌学者 数字图书馆 12 M.X.Goemans和D.P.Williamson。 最大可满足性问题的新3/4逼近算法。 SIAM离散数学杂志，7:656-6661994。 谷歌学者 数字图书馆 13 M.X.Goemans和D.P.Williamson。 改进的最大切割逼近算法。 利用半定规划求解sat问题。 美国医学会杂志，42:1115-11451995年。 谷歌学者 数字图书馆 14 J.H~斯塔德。 一些最佳不可替代性结果。 程序中。 1997年，德克萨斯州埃尔帕索市，第1-10页。 完整版本可用作F_，-CCC报告编号TR97-037。 谷歌学者 数字图书馆 15 D.S.约翰逊。 组合问题的近似算法。 《计算机与系统科学杂志》，9:256-2781974年。 谷歌学者 数字图书馆 16 N.D.Jones和W.T.Laaser。 确定多项式时间的完全问题。 理论Coraputer Science，3:105-1171976。 谷歌学者 交叉引用 17 H.Karloff和U.Zwick。 MAX 3SAT的7/8近似Smation算法？ 程序中。 第38届IEEE计算机科学基础年会，佛罗里达州迈阿密海滩，第406-415页，1997年。 谷歌学者 数字图书馆 18 S.Khanna、M.Sudan和L.Trevisan。 约束满足：最小化问题的近似xqmab~。 程序中。 第12届IEEE计算复杂性年会，德国乌尔姆，第282-296页，1997年。 完整版本作为E-CCC报告编号TR96-064提供。 谷歌学者 数字图书馆 19 S.Khanna、M.Sudan和D.P.Williamson。 由布尔约束满足导出的最大化问题近似性的完整分类。 程序中。 1997年在德克萨斯州埃尔帕索举行的~Sth年度计算机理论研讨会，第11-20页。 完整版本作为E-CCC报告编号TR96-062提供。 谷歌学者 数字图书馆 20 P.N.Klein、S.A.Plotkin、S.Rao和t~。 塔尔多斯。 Steiner和定向多截的近似算法。 《算法杂志》，22:241-2691997年。 谷歌学者 数字图书馆 21 S.Mahajan和H.Ramesh。 基于去随机半定规划的近似算法。 程序中。 1995年，第36届IEEE计算机科学基础年会，密尔沃基~威斯康星州，第162-169页。 谷歌学者 数字图书馆 22 R.Motwani和P.Raghavan。 随机算法。 剑桥大学出版社，1995年。 谷歌学者 数字图书馆 23 C.H.帕帕迪米特里奥。 选择令人满意的真相分配。 程序中。 第32届IEEE计算机科学基础年会，波多黎各圣胡安，第163-169页，1991年。 谷歌学者 数字图书馆 24 T.J.谢弗。 可满足性问题的复杂性。 程序中。 第十届美国计算机学会计算机理论年会，加利福尼亚州萨迭戈，第216-226页，1978年。 谷歌学者 数字图书馆 25 L.特雷维桑。 逼近可满足可满足问题。 程序中。 第五届欧洲算法研讨会，奥地利格拉茨，1997年。 472-485. 谷歌学者 数字图书馆 26 L.Trevisan、G.B.Sorkin、M.Sudan和D.P.Williamson。 小工具、近似和线性编程。 程序中。 第37届IEEE计算机科学基础年会，佛蒙特州伯灵顿，第617-626页，1996年。 谷歌学者 数字图书馆 27 S.Yamasaki和S.Doshita。 比例逻辑中由Horn语句和一些非Horn语句组成的类的可满足性问题。 信息与控制，59:1-121983年。 见《信息与控制》61（1984）中的勘误表，第174页。 谷歌学者 数字图书馆 28 Yannakakis先生。 关于m~最大可满足性的逼近。 《o}算法杂志》，17:475-5021994年。 谷歌学者 数字图书馆 29 乌兹威克。 约束满足问题的近似算法，每个约束最多包含三个变量。 在Proe。 第九届CM-SIAM离散算法年度研讨会，加利福尼亚州旧金山，第201-210页，1998年。 谷歌学者 数字图书馆
