国際会議 2017年 The Complexity of Boolean Surjective General-Valued CSPs 42nd International Symposium on Mathematical Foundations of Computer Science P. Fulla 記述言語 英語 会議種別 口頭発表(一般)