尼尔·V·默里。;埃里克·罗森塔尔 高效的查询处理,减少了隐含尝试。 (英语) Zbl 1113.68044号 J.汽车。推理 38,编号1-3,155-172(2007).MSC公司:68第20页 68磅05分 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Murray}和\textit{E.Rosenthal},J.Autom。推理38,No.1--3,155--172(2007;Zbl 1113.68044) 全文: DOI程序
詹姆斯·J·卢。;尼尔·V·莫里。;埃里克·罗森塔尔 多值逻辑中自动推理的框架。 (英语) Zbl 0913.03023号 J.汽车。推理 21,第1号,39-67(1998).MSC公司:03B35型 03B50号 03B52号 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Lu}等人,J.Autom。推理21,No.1,39--67(1998;Zbl 0913.03023) 全文: DOI程序
阿纳瓦伊·拉梅什;乔治·贝克尔;尼尔·V·莫里。 CNF和DNF被认为对计算素数蕴涵/蕴涵有害。 (英语) Zbl 0881.68107号 J.汽车。推理 18,第3期,337-356(1997).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ramesh}等人,J.Autom。推理18,第3期,337-356(1997年;Zbl 0881.68107) 全文: DOI程序
阿纳瓦伊·拉梅什;伯恩哈德·贝克特;雷纳·哈内尔;尼尔·V·默里。 使用反链接进行快速包容检查。 (英语) Zbl 0870.68135号 J.汽车。推理 18,第1号,47-83(1997).MSC公司:68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ramesh}等人,J.Autom。推理18,No.1,47--83(1997;Zbl 0870.68135) 全文: DOI程序