著者
収録刊行物
-
- Proceedings of IJCAI-97
-
Proceedings of IJCAI-97, 1997
被引用文献: 8件中 1-8件 を表示
-
1
- SATソルバと後ろ向き推論によるアクション言語Αの実装
-
鍋島 英知 , 坂田 史郎 , 井上 克巳 , 羽根田 博正
人工知能学会全国大会論文集 = Proceedings of the Annual Conference of JSAI 14, 104-107, 2000-07-03
参考文献7件 被引用文献1件
-
2
- SAT ソルバの並列実行に関する一考察
-
上田 盛慈 , 鵜飼 訓史 , 井上 克巳 , 番原 睦則 , 田村 直之 , 川村 尚生
電子情報通信学会技術研究報告. AI, 人工知能と知識処理 103(103), 41-46, 2003-05-29
参考文献12件 被引用文献1件
-
3
- 複数のSATソルバを用いたジョブショップスケジューリング問題の解法
-
宋 剛秀 , 井上 克巳
電子情報通信学会技術研究報告. AI, 人工知能と知識処理 104(133), 19-24, 2004-06-14
参考文献17件
-
4
- 投機的計算によるSATプランニングの効率改善に関する研究
-
鍋島 英知 , 岩沼 宏治
電子情報通信学会技術研究報告. AI, 人工知能と知識処理 102(91), 25-29, 2002-05-17
参考文献8件
-
5
- 再構成可能なハードウェアを用いた充足可能性問題の解法
-
須山 敬之 , 横尾 真 , 名古屋 彰
情報処理学会研究報告システムLSI設計技術(SLDM) 1998(113(1998-SLDM-090)), 31-38, 1998-12-10
情報処理学会 参考文献19件 被引用文献1件
-
6
- 分散並列型SATソルバにおける探索空間の分割手法の提案
-
高見 明秀 , 鍋島 英知 , 岩沼 宏治
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 108(444), 23-28, 2009-02-23
参考文献12件
-
7
- 論理式の充足可能性問題の並列化における Clause 共有の効果について
-
鴨志田 良和 , 田浦 健次朗 , 近山 隆
電子情報通信学会技術研究報告. CPSY, コンピュータシステム 104(240), 25-30, 2004-07-24
参考文献6件
-
8
- プランニンググラフとSATプランニング(<特集>「プランニング技術の進展と新たな応用展開」)
-
鍋島 英知 , 井上 克巳 , Hidetomo Nabeshima , Katsumi Inoue , 山梨大学工学部コンピュータ・メディア工学科 , 神戸大学工学部電気電子工学科 , Department of Computer Science and Media Engineering Yamanashi University , Department of Electrical and Electronics Engineering Kobe University
人工知能学会誌 = Journal of Japanese Society for Artificial Intelligence 16(5), 605-610, 2001-09-01
人工知能学会 参考文献20件 被引用文献3件