迈克尔·阿列克诺维奇；爱德华·赫施。；德米特里·伊特西克森 可满足公式上DPLL算法运行时间的指数下界。 （英语） Zbl 1109.68098号 J.汽车。推理 35，编号1-3，51-72（2005）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alekhnovich}等人，J.Autom。推理35，No.1--3，51-72（2005；Zbl 1109.68098） 全文： 内政部
爱德华·赫施。；阿里斯特·科耶夫尼科夫 UnitWalk：一个新的SAT解算器，使用由单位子句消除指导的局部搜索。 （英语） Zbl 1100.68621号 安。数学。Artif公司。智力。 43，编号1-4，91-111（2005）.MSC公司：68T20型 03B05号 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}和\textit{A.Kojevnikov}，Ann.数学。Artif公司。智力。43，编号1--4，91-111（2005；Zbl 1100.68621） 全文： 内政部
丹钦、叶夫根尼；迈克尔·加夫里洛维奇；爱德华·赫施。；鲍里斯·科涅夫 MAX SAT近似超出多项式时间近似的限制。 （英语） Zbl 0990.03006号 Ann.纯粹应用。逻辑 113，编号1-3，81-94（2002）.MSC公司：03B35型 68周25 65年第68季度 03B05号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Dantsin}等人，Ann.Pure Appl。逻辑113，编号1--3，81-94（2002；Zbl 0990.03006） 全文： 内政部
医学硕士弗塞米尔诺夫。；赫希，E.A。；Dantsin，E.Ya。；伊万诺夫S.V。 Sat算法及其复杂性上限。 （英语。俄文原件） Zbl 1074.68577号 数学杂志。科学。，纽约 118，第2期，4948-4962（2003）; Zap的翻译。诺什。塞明。POMI 27714-46（2001）。MSC公司：65年第68季度 68吨15 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.A.Vsemirnov｝等人，J.Math。科学。，纽约118，编号29448-4962（2001；兹bl 1074.68577）；Zap的翻译。诺什。塞明。POMI 277，14-46（2001） 全文： 内政部
爱德华·赫施。；阿里斯特·科耶夫尼科夫 使用单位子句消除指导的局部搜索求解布尔可满足性。 （英语） Zbl 1067.68643号 Walsh，Toby（编辑），约束编程的原理和实践-CP 2001。第七届国际会议，2001年11月26日至12月1日，塞浦路斯帕福斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42863-1）。莱克特。注释计算。科学。2239, 605-609 (2001).MSC公司：68T20型 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}和\textit{A.Kojevnikov}，Lect。注释计算。科学。2239605--609（2001年；Zbl 1067.68643） 全文： 链接
爱德华·赫施。 SAT新的最坏情况上限。 （英语） Zbl 0980.68057号 Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 167-187 (2000).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}，前面。Artif公司。智力。申请。63、167--187（2000年；Zbl 0980.68057）
爱德华·赫施。 SAT新的最坏情况上限。 （英语） Zbl 0960.03009号 J.汽车。推理 24，第4期，397-420（2000）.MSC公司：03B35型 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}，J.Autom公司。推理24，No.4，397--420（2000；Zbl 0960.03009） 全文： 内政部
爱德华·赫施。 MAX-2-SAT的一种新算法。 （英语） Zbl 0959.68047号 Reichel，Horst（编辑）等人，STACS 2000。第17届计算机科学理论方面年度研讨会。2000年2月17日至19日，法国里尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1770, 65-73 (2000).MSC公司：65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Hirsch}，莱克特。注释计算。科学。1770年，65-73年（2000年；Zbl 0959.68047）
赫希，E。 命题可满足性问题中的分离符号。 （英语。俄文原件） 兹比尔0961.68049 数学杂志。科学。，纽约 98，第4期，442-463（2000）; Zap的翻译。诺什。塞明。POMI 241，30-71（1997）。MSC公司：2005年第68季度 PDF格式BibTeX公司 XML格式 全文： 内政部