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

Codes

• NII Article ID (NAID)

  40020657178

• NII NACSIS-CAT ID (NCID)

  AN10158574

• Text Lang

  JPN

• ISSN

  0913-5391

• NDL Article ID

  026942608

• NDL Call No.

  Z14-1245

• Data Source

  NDL