SAT/Max-SAT競技会参加記

スポンサーリンク

概要

• 論文の詳細を見る
• 2012-10-25

著者

• 越村 三幸

  九州大学

• 鍋島 英知

  山梨大学

• 番原 睦則

  神戸大学

関連論文

• 帰納論理プログラミングを用いたWebページ評価ルールの抽出とその評価(「Webインテリジェンス」及び一般)
• C_003 FPGAを用いたN-Queens問題の解決について(C分野:ハードウェア)
• B_025 モデル検査器を用いたFUCEマルチスレッドプログラムの開発(B分野:ソフトウェア)
• 抽象モデル生成による節集合の前処理(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般)
• Wikipediaのリンク共起とカテゴリに基づくリランキング手法
• Wikipediaのリンク共起とカテゴリに基づくリランキング手法
• F-019 BOINCによるSATソルバーの並列実行(F分野:人工知能・ゲーム,一般論文)
• LL_005 専門検索エンジンの高速半自動生成法(L分野:ネットワークコンピューティング)
• L-083 精錬手法に基づく検索隠し味型専門検索エンジンの半自動構築(L分野:ネットワークコンピューティング)
• F-045 マルチコア環境に向けた高速並列SATソルバの開発(F分野:人工知能・ゲーム)
• 帰納論理プログラミングを用いた棋譜からのルール抽出
• LF_006 緩和法に基づく系列データからの頻出部分系列の高速マイニング(F分野:人工知能・ゲーム)
• SAT/Max-SAT競技会参加記
• F-028 MaxSATの一拡張について(学習・最適化,F分野:人工知能・ゲーム)
• A-002 帰納論理プログラミングを用いた化学反応からのルール抽出(数理モデル化と問題解決(1),A分野:モデル・アルゴリズム・プログラミング)
• A-012 帰納論理プログラミングを用いた高分子の組成と物性との関係に関する考察(数理モデル(1),A分野:モデル・アルゴリズム・プログラミング)

もっと見る 閉じる

スポンサーリンク