胡克,J.N。 投影、一致性和乔治·布尔。 (英语) Zbl 1396.03041号 约束条件 21,第1期,59-76(2016).MSC公司:03B48号 60A05型 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker},约束21,No.1,59--76(2016;Zbl 1396.03041) 全文: 内政部
胡克,J.N。;奥托森,G。 基于逻辑的Benders分解。 (英语) Zbl 1023.90082号 数学。程序。 96,第1(A)号,33-60(2003).MSC公司:90立方厘米 90C09型 49平方米27 68T20型 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.N.胡克}和\textit{G.奥托森},数学。程序。96,第1(A)号,33--60(2003;Zbl 1023.90082) 全文: 内政部 链接
胡克,J.N。;G.拉戈。;V·钱德鲁。;A.施里瓦斯塔瓦。 一阶逻辑推理的部分实例化方法。 (英语) 兹比尔0995.03010 J.汽车。推理 28,第4期,371-396(2002).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker}等人,J.Autom。推理28,No.4,371--396(2002;Zbl 0995.03010) 全文: 内政部
胡克,J.N。 可满足性问题的解决和完整性。 (英语) Zbl 0868.90082号 数学。程序。 74,第1号(A),1-10(1996).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{J.N.胡克},数学。程序。74,第1(A),1-10号(1996年;Zbl 0868.90082) 全文: 内政部
胡克,J.N。;维奈,V。 可满足性的分支规则。 (英语) Zbl 0838.68098号 J.汽车。推理 15,第3期,359-383(1995).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker}和\textit{V.Vinay},J.Autom。推理15,No.3,359--383(1995;Zbl 0838.68098) 全文: 内政部
F.哈切。;胡克,J.N。;汤普森,G.L。 命题逻辑可满足性算法的计算研究。 (英语) Zbl 0811.03004号 ORSA J.计算。 6,第4期,423-435(1994).MSC公司:03B05号 03-04 PDF格式BibTeX公司 XML格式引用 \textit{F.Harche}等人,ORSA J.Compute。第6号,第423-435页(1994年;兹bl 0811.03004) 全文: 内政部
胡克,J.N。;维奈,V。 可满足性的分支规则(扩展抽象)。 (英语) Zbl 1044.68766号 Thiagarajan,P.S.(编辑),《软件技术和理论计算机科学基础》。第十四届会议,1994年12月15日至17日,印度马德拉斯。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-58715-2/SC)。莱克特。注释计算。科学。880, 426-437 (1994).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker}和\textit{V.Vinay},莱克特。注释计算。科学。880426-437(1994年;Zbl 1044.68766)
胡克,J.N。 计算一阶逻辑推理的新方法。 (英语) Zbl 0788.03014号 安·Oper。物件。 43,No.1-4,479-492(1993).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \发短信{J.N.Hooker},Ann.Oper。第43号决议,编号1-4479-492(1993年;兹bl 0788.03014) 全文: 内政部
胡克,J.N。 求解增量可满足性问题。 (英语) Zbl 0787.68049号 J.日志。程序。 15,第1-2号,177-186(1993).MSC公司:第68季度25 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.N.胡克},J.Log。程序。15,编号1--2,177--186(1993;Zbl 0787.68049) 全文: 内政部
V·钱德鲁。;胡克,J.N。 检测命题逻辑中嵌入的Horn结构。 (英语) Zbl 0780.68055号 信息处理。莱特。 42,第2期,109-111(1992).MSC公司:第68季度25 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Chandru}和\textit{J.N.Hooker},Inf.过程。莱特。42,No.2,109--111(1992;Zbl 0780.68055) 全文: 内政部