講演情報

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

○松本 吏司1、原田 崇司1、竹内 聖悟1 (1. 高知工科大)
PDFダウンロードPDFダウンロード

キーワード:

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