2016年6月
Recent Developments on Circuit Satisfiability Algorithms
Computational Complexity Conference (CCC) Satellite Tokyo Workshop
- 記述言語
- 英語
- 会議種別
- 口頭発表（招待・特別）
玉置 卓
タマキ スグル (Suguru Tamaki)
更新日: 04/04