茨城，东芝;高桥伊马西;Yuichi Koga;广岛长垣;Koji Nonobe公司;Mutsunori Yagiura 加权MAX-2-SAT的高效分枝定界算法。 （英语） Zbl 1216.90073号 数学。程序。 127，第2（A）号，297-343（2011）.MSC公司：90C27型 90C57型 PDF格式BibTeX公司 XML格式引用 \textit{T.Ibaraki}等人，《数学》。程序。127，第2号（A），297--343（2011；Zbl 1216.90073） 全文： 内政部
高石县Horiyama;茨城，东芝 有序二元决策图推理。 （英语） Zbl 1077.68100号 离散应用程序。数学。 142，编号1-3151-163（2004年）.MSC公司：68层35 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Horiyama}和\textit{T.Ibaraki}，离散应用程序。数学。142，编号1--3，151-163（2004；Zbl 1077.68100） 全文： 内政部
高石县Horiyama;茨城，东芝 CNF、特征模型和有序二元决策图之间的转换。 （英语） Zbl 1173.68719号 信息处理。莱特。 85，第4期，191-198（2003）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Horiyama}和\textit{T.Ibaraki}，Inf.过程。莱特。85，第4号，191--198（2003；Zbl 1173.68719） 全文： 内政部
恩德雷·博罗斯;茨城，东芝;Kazuhisa Makino 扩展部分定义的布尔函数时缺少位的变化。 （英语） Zbl 1035.68057号 Inf.计算。 180，第1期，53-70（2003）.MSC公司：第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{E.Boros}等人，《信息计算》。180，编号1，53--70（2003；Zbl 1035.68057） 全文： 内政部
托马斯·艾特;茨城，东芝;Kazuhisa Makino 伪装双喇叭功能的识别和双重化。 （英语） 兹比尔1051.68139 信息处理。莱特。 82，第6期，283-291（2002）.MSC公司：68周05 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，《信息处理》。莱特。82，第6号，283--291（2002；Zbl 1051.68139） 全文： 内政部
高石县Horiyama;茨城县，Toshihide 有序二元决策图作为知识库。 （英语） 兹比尔0995.68105 Artif公司。智力。 136，第2期，189-213（2002）.MSC公司：68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Horiyama}和\textit{T.Ibaraki}，Artif。智力。136，第2号，189--213（2002；Zbl 0995.68105） 全文： 内政部
茨城，东芝;亚历山大·科根;Kazuhisa Makino 关于（q）-Horn理论中的函数依赖性。 （英语） Zbl 0996.68197号 Artif公司。智力。 131，第1-2号，171-187（2001）.MSC公司：68立方英尺 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Ibaraki}等人，Artif。智力。131，编号1--2，171-187（2001；Zbl 0996.68197） 全文： 内政部
托马斯·艾特;茨城，东芝;Kazuhisa Makino 论霍恩理论的差异。 （英语） Zbl 0971.68076号 J.计算。系统。科学。 61，第3期，478-507（2000）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，《计算杂志》。系统。科学。61，第3号，478--507（2000；Zbl 0971.68076） 全文： 内政部
恩德雷·博罗斯;茨城，东芝;Kazuhisa Makino 丢失位的二进制数据的逻辑分析。 （英语） 兹比尔0996.68067 Artif公司。智力。 107，第2期，219-263（1999）.MSC公司：65年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Boros}等人，Artif。智力。107，第2号，219--263（1999；Zbl 0996.68067） 全文： 内政部
托马斯·艾特;茨城县，Toshihide;Kazuhisa Makino 双喇叭功能和扩展。 （英语） Zbl 0941.68152号 离散应用程序。数学。 96-97, 55-88 (1999).MSC公司：68周05 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，《离散应用》。数学。96-97、55-88（1999；Zbl 0941.68152） 全文： 内政部
Koji Nonobe公司;藤崎俊彦（Toshihide Ibaraki）。 将禁忌搜索方法用于约束满足问题，作为一般问题求解器。 （英语） Zbl 0991.90102号 欧洲药典。物件。 106，第2-3号，599-623（1998）.MSC公司：90C27型 90立方厘米 90 C59 90B40码 PDF格式BibTeX公司 XML格式引用 \textit{K.Nonobe}和\textit{Toshihide.Ibaraki}，欧洲期刊Oper。第106号决议，第2--3、599--623号（1998年；Zbl 0991.90102） 全文： 内政部
托马斯·艾特;茨城，东芝;Kazuhisa Makino 双喇叭功能。 （英语） Zbl 0912.06011号 Inf.计算。 144，No.2，155-190（1998）. 审核人：S.Rudeanu（布库雷什蒂） MSC公司：06E30年 65年第68季度 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，《信息计算》。144，第2号，155--190（1998；Zbl 0912.06011） 全文： 内政部
恩德雷·博罗斯;茨城，东芝;Kazuhisa Makino 部分定义的布尔函数的无错误和最佳拟合扩展。 （英语） Zbl 0892.68091号 Inf.计算。 140，第2期，254-283（1998年）.MSC公司：68T05型 65年第68季度 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{E.Boros}等人，《信息计算》。140，第2号，254--283（1998；Zbl 0892.68091） 全文： 内政部 链接
恩德雷·博罗斯;彼得·哈默。;茨城，东芝;亚历山大·科根 数字数据的逻辑分析。 （英语） Zbl 0887.90179号 数学。程序。 79，第1-3（B）号，163-190（1997）.MSC公司：90 C90 68页99 90C60型 90C27型 PDF格式BibTeX公司 XML格式引用 \textit｛E.Boros｝等人，数学。程序。79，编号1--3（B），163-190（1997；Zbl 0887.90179） 全文： 内政部
Kazuhisa Makino;高津亚诺;茨城，东芝 部分定义布尔函数的正可分解性和Horn可分解性。 （英语） Zbl 0873.06011号 离散应用程序。数学。 74，第3期，251-274（1997）. 审核人：J.Henno（塔林） MSC公司：06E30年 68T05型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Makino}等人，《离散应用》。数学。74，第3号，251--274（1997；Zbl 0873.06011） 全文： 内政部 链接
恩德雷·博罗斯;茨城，东芝;Kazuhisa Makino 不完整示例的布尔分析。 （英语） Zbl 1502.68141号 Karlsson，Rolf（编辑）等人，《算法理论——SWAT’96》。第五届斯堪的纳维亚算法理论研讨会，冰岛雷克雅未克，1996年7月3日至5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1097, 440-451 (1996).MSC公司：第68季度32 03B70号 06E30年 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Boros}等人，Lect。注释计算。科学。1097440-451（1996年；Zbl 1502.68141） 全文： 内政部
恩德雷·博罗斯;弗拉基米尔·古尔维奇;彼得·哈默。;茨城，东芝;亚历山大·科根 部分定义布尔函数的可分解性。 （英语） Zbl 0833.68090号 离散应用程序。数学。 62，编号1-3，51-75（1995）.MSC公司：68兰特 05C65号 65年第68季度 06E30年 PDF格式BibTeX公司 XML格式引用 \textit｛E.Boros｝等人，《离散应用》。数学。62，编号1--3，51-75（1995；Zbl 0833.68090） 全文： 内政部
茨城，东芝;加藤，育晴 在内存空间约束下搜索极大极小博弈树。 （英语） Zbl 0878.68054号 安。数学。Artif公司。智力。 1，编号1-41-153（1990）.MSC公司：68页第10页 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.茨城}和\textit{Y.加藤}，安.数学。Artif公司。智力。1，编号1-4141-153（1990年；Zbl 0878.68054） 全文： 内政部
茨城，T。 alpha-beta和\（SSS^*\）搜索过程的概述。 （英语） Zbl 0593.68074号 Artif公司。智力。 29, 73-117 (1986).MSC公司：68吨99 91年至99年 PDF格式BibTeX公司 XML格式引用 \textit{T.茨城}，Artif。智力。29、73-117（1986年；Zbl 0593.68074） 全文： 内政部