11:15 AM - 11:30 AM [21a-C201-9] Reduction of Bounceback Rule for Electronic Amoeba Solving Satisfiability Problem 〇Yoko Shigematsu1, Seiya Kasai1 (1.RCIQE, Hokkaido Univ.)