検索結果32件中 1-20 を表示

  • 1 / 2
  • 鍋島 英知 ID: 1000010334848

    CiNii収録論文: 73件

    • Java言語によるアクション言語処理系の実装 (1999)
    • SATソルバと後ろ向き推論によるアクション言語Αの実装 (2000)
    • アクション言語のためのボトムアップ処理系 (1997)
  • 鍋島 英知 ID: 9000018896136

    CiNii収録論文: 3件

    • 局所対称性除去によるCDCLソルバーの効率改善に向けて (特集 一般) (2011)
    • SATソルバーの探索戦略効率化に向けた合理的尺度の導入検証 (「マルチエージェントの基礎理論とその応用」および一般) (2012)
    • SOLタブロー計算法の分割統治アルゴリズムの検討 (「マルチエージェントの基礎理論とその応用」および一般) (2012)
  • 鍋島 英知 ID: 9000021108212

    山梨大学大学院 医学工学総合研究部 (2009年 CiNii収録論文より)

    CiNii収録論文: 1件

    • イベント系列マイニングを目的とする新聞記事からの時間情報に基づく単語抽出 (2009)
  • 鍋島 英知 ID: 9000107373294

    山梨大学 (2012年 CiNii収録論文より)

    CiNii収録論文: 1件

    • SAT/Max-SAT競技会参加記 (2012)
  • 鍋島 英知 ID: 9000248956799

    CiNii収録論文: 1件

    • 大規模SAT問題の求解のための緩和解法の検討と提案 (2014)
  • 鍋島 英知 ID: 9000248956827

    CiNii収録論文: 1件

    • CDCLソルバーのための軽量動的包摂検査 (2014)
  • 鍋島 英知 ID: 9000256912401

    CiNii収録論文: 1件

    • SAT技術の理論, 実装, 応用 (2012)
  • 鍋島 英知 ID: 9000258238292

    山梨大学大学院医学工学総合研究部 (2011年 CiNii収録論文より)

    CiNii収録論文: 1件

    • 一階論理上の等号推論:理論と実際 (2011)
  • 鍋島 英知 ID: 9000258238481

    山梨大学 (2012年 CiNii収録論文より)

    CiNii収録論文: 1件

    • GlueMiniSat 2.2.5: 単位伝搬を促す学習節の積極的獲得戦略に基づく高速SATソルバー (2012)
  • 鍋島 英知 ID: 9000258627744

    山梨大学工学部 コンピュータ·メディア工学科 (2002年 CiNii収録論文より)

    CiNii収録論文: 1件

    • マルチエージェントシステムにおける情報伝達構造の効果 (2002)
  • 鍋島 英知 ID: 9000258628116

    山梨大学工学部 コンピュータメディア工学科 (2002年 CiNii収録論文より)

    CiNii収録論文: 1件

    • HTML文書の時間的差分の自動検出 (2002)
  • 鍋島 英知 ID: 9000270282328

    CiNii収録論文: 1件

    • 学習節評価尺度LBDに基づく並列SATソルバーの提案 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (オーガナイズドセッション「OS-04 SAT技術の理論,実装,応用」) (2012)
  • 鍋島 英知 ID: 9000270282526

    CiNii収録論文: 1件

    • 結論発見システムSOLAR の分割統治法による高速化 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (基礎・理論) (2012)
  • 鍋島 英知 ID: 9000270890708

    CiNii収録論文: 1件

    • 高速充足可能性判定器を用いた命題論理の結論発見器の実装 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (オーガナイズドセッション「OS-04 SAT技術の理論,実装,応用」) (2012)
  • 鍋島 英知 ID: 9000271159610

    CiNii収録論文: 1件

    • SOLタブロー計算法に基づく命題論理の充足可能性判定器の実現 (2011)
  • 鍋島 英知 ID: 9000271159807

    CiNii収録論文: 1件

    • 結論発見手続きSOLタブロー計算法の分割統治法に基づく効率化 (2011)
  • 鍋島 英知 ID: 9000271159868

    CiNii収録論文: 1件

    • ポートフォリオ型戦略の導入による結論発見システムSOLARの効率改善 (2011)
  • 鍋島 英知 ID: 9000273390444

    CiNii収録論文: 1件

    • 最新SATソルバーへの充足不能コア抽出手法の実装 (2013)
  • 鍋島 英知 ID: 9000273391041

    CiNii収録論文: 1件

    • 拡張融合法に基づく次世代SATソルバーの試作 (2013)
  • 鍋島 英知 ID: 9000285486743

    CiNii収録論文: 1件

    • CDCLソルバーのための軽量動的簡単化手法 (特集 「命題論理の充足可能性問題SATと応用技術」および一般) (2015)
  • 1 / 2
ページトップへ