[DS-2] COMP-AFSA学生シンポジウム

15:10 〜 15:35学術奨励賞候補

[DS-2-04] 長さ l の s-t パス数え上げのXCCとしての定式化

○松本 吏司¹、原田 崇司¹、竹内 聖悟¹ (1. 高知工科大)

キーワード：

厳密被覆問題、パス数え上げ