克巳井上 | Researchain

Archive Network Publication Hotspot Collaboration

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where 克巳井上 is active.

Explore More

Publication

Featured researches published by 克巳井上.

人工知能基本問題研究会 | 2016

クラウド上のソフトウェア要素最適配置問題の解法 (特集「命題論理の充足可能性問題SATと応用技術」および一般)

直之田村; 克巳井上; 睦則番原; 剛秀宋

日本ソフトウェア科学会大会論文集 | 2011

GlueMiniSat 2.2.5 : A Fast SAT Solver with An Aggressive Acquiring Strategy of Glue Clauses

宏治岩沼; 克巳井上

人工知能基本問題研究会 | 2008

CF帰納法の効率的実装とパスウェイ推論への応用 (特集「知識発見の諸科学への応用」および一般)

泰生山本; 克巳井上

Artificial Intelligence | 2007

CF帰納法の理論的再構築について(「自動化:推論,発見,学習,データマイニング」及び一般)

泰生山本; Oliver Ray; 克巳井上

Artificial Intelligence | 2006

効率的なSATプランニングとSATスケジューリングのための補題再利用(「自動化:推論,発見,学習,データマイニング」及び一般)

剛秀宋; 克巳井上; 宏治岩沼

Artificial Intelligence | 2005

投機的に計算するマルチエージェントシステムにおける実時間意思決定に関する考察(社会システムと知能(エージェントモデルと意思決定), 「社会システムにおける知能」及び一般)

栄二岩内; 克巳井上

Artificial Intelligence | 2005

メッセージ通信を用いた分散型結論発見(一般(知識処理), 「社会システムにおける知能」及び一般)

孝之岡本; 克巳井上

Artificial Intelligence | 2005

CF 帰納法における一般化に関する考察:第2報(一般(知識処理), 「社会システムにおける知能」及び一般)

泰生山本; 克巳井上

Artificial Intelligence | 2004

極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)

利子若木; 克巳井上

Artificial Intelligence | 2004

複数のSATソルバを用いたジョブショップスケジューリング問題の解法(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)

剛秀宋; 克巳井上

Explore More

Collaboration

Dive into the 克巳井上's collaboration.

Explore More