検索結果18件中 1-18 を表示

  • 越村 三幸 ID: 1000030274492

    CiNii収録論文: 97件

    • PIM上の並列定理証明系MGTP (1993)
    • FPGA上に実装されたPCMGTPを用いたSAT問題の解決 (2005)
    • 分岐補題の抽出による極小モデル生成の効率化 (2001)
  • 越村 三幸 ID: 9000004375528

    (財)新世代コンピュータ技術開発機構 (1989年 CiNii収録論文より)

    CiNii収録論文: 3件

    • PIMOSの資源管理方式 (1989)
    • PIMOSの設計方針 (1988)
    • PIMOSの例外処理方式 (1988)
  • 越村 三幸 ID: 9000107373295

    九州大学 (2012年 CiNii収録論文より)

    CiNii収録論文: 1件

    • SAT/Max-SAT競技会参加記 (2012)
  • 越村 三幸 ID: 9000242388996

    九州大学 (2013年 CiNii収録論文より)

    CiNii収録論文: 1件

    • OS-09 SAT技術の理論,実装,応用(オーガナイズドセッション,<特集>2013年度人工知能学会全国大会(第27回)) (2013)
  • 越村 三幸 ID: 9000248956844

    CiNii収録論文: 1件

    • 高速SATソルバーZENN及びその高速化手法 (2014)
  • 越村 三幸 ID: 9000248956895

    CiNii収録論文: 1件

    • 基数制約のSAT符号化を用いたMaxSATソルバーの試作 (2014)
  • 越村 三幸 ID: 9000256912400

    CiNii収録論文: 1件

    • SAT技術の理論, 実装, 応用 (2012)
  • 越村 三幸 ID: 9000258455236

    九大 (2006年 CiNii収録論文より)

    CiNii収録論文: 1件

    • ユーザのスケジュールを考慮したWeb検索手法 (2006)
  • 越村 三幸 ID: 9000266891891

    CiNii収録論文: 1件

    • 帰納論理プログラミングを用いた化学実験支援 (特集 機械学習/知識発見の最新動向) (2014)
  • 越村 三幸 ID: 9000270282343

    CiNii収録論文: 1件

    • SATソルバの学習節に対する新しい評価手法の提案 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (オーガナイズドセッション「OS-04 SAT技術の理論,実装,応用」) (2012)
  • 越村 三幸 ID: 9000273034473

    CiNii収録論文: 1件

    • SATソルバーの学習節を考慮した新高速化手法 (2013)
  • 越村 三幸 ID: 9000273387988

    CiNii収録論文: 1件

    • MaxSATソルバ用いた高分子の組成と物性との関係に関する考察 (2013)
  • 越村 三幸 ID: 9000287158406

    CiNii収録論文: 1件

    • 時間的距離に注目したTwitterからの関連単語抽出 (2012)
  • 越村 三幸 ID: 9000287158447

    CiNii収録論文: 1件

    • 時間的距離に注目したTwitterからの関連単語抽出 (2012)
  • 越村 三幸 ID: 9000347541138

    CiNii収録論文: 1件

    • SAT技術の進化と応用 〜パズルからプログラム検証まで〜:3. SATとラムゼー数 〜数学の未解決問題への挑戦〜 (2016)
  • 越村 三幸 ID: 9000347541143

    CiNii収録論文: 1件

    • SAT技術の進化と応用 〜パズルからプログラム検証まで〜:6. MaxSAT:SATの最適化問題への拡張 -MaxSATソルバーの活用法- (2016)
  • 越村 三幸 ID: 9000348881427

    CiNii収録論文: 1件

    • 並列プログラムおよび性能デバッギングのための視覚化 (<特集> 情報の可視化) (1995)
  • 越村 三幸 ID: 9000356550897

    CiNii収録論文: 1件

    • 混合基数を用いた擬似ブール制約のSAT符号化 (特集 「SAT技術の理論,実装,応用」および一般) (2017)
ページトップへ