APPLICATION
教授マッチング
Public Professor Archive
関西大学 · ビジネスデータサイエンス学部
関西大学 · ビジネスデータサイエンス学部
研究キーワードsentential decision diagrams・ZDD data structures・graph counting algorithms・combinatorial pattern matching・automata-based indexing・sequence binary decision diagrams・set family compression・experimental algorithmics
ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。