招待有り 国際会議 2016年12月 Recent Developments on Circuit Satisfiability Algorithms Fine-Grained Complexity and Algorithm Design Reunion Suguru Tamaki 記述言語 英語 会議種別 口頭発表(招待・特別)