SATソルバーを用いた高速な部分グラフ探索ツールの実装と評価

書誌事項

タイトル別名
  • SAT ソルバー オ モチイタ コウソク ナ ブブン グラフ タンサク ツール ノ ジッソウ ト ヒョウカ

この論文をさがす

説明

コレクション : 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 学協会

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ