招待有り 国際会議 2013年8月 A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis Dagstuhl Seminar 13331 Suguru Tamaki 記述言語 英語 会議種別 口頭発表（招待・特別）
