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

Bibliographic Information

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

Search this article

Journal

Details

  • CRID
    1520290885033459584
  • NII Article ID
    40020657178
  • NII Book ID
    AN10158574
  • ISSN
    09135391
  • NDL BIB ID
    026942608
  • Text Lang
    ja
  • NDL Source Classification
    • ZM13(科学技術--科学技術一般--データ処理・計算機)
  • Data Source
    • NDL
    • CiNii Articles

Report a problem

Back to top