workshop

覆面算を列挙するオートマトンの効率的な構築手法

渡部 航也, ヘンリアン ディプタラマ, 吉仲 亮, 堀山貴史, 篠原 歩

コンピュテーション研究会 (COMP研), 信学技報 Vol.120, pp.16-23 (2020)
開催日: 2020年12月4-4日 @ オンライン

開催地: オンライン
  • オンライン

Abstract / 概要