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

Web Site

Bibliographic Information

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

Search this article

Description

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

Journal

Details 詳細情報について

Report a problem

Back to top