11:15 AM - 11:30 AM
[21a-C201-9] Reduction of Bounceback Rule for Electronic Amoeba Solving Satisfiability Problem
Keywords:Electronic Amoeba, Satisfiability Problem
Oral presentation
FS Focused Session "AI Electronics" » FS.1 Focused Session "AI Electronics"
Wed. Sep 21, 2022 9:00 AM - 12:00 PM C201 (C201)
Tsuyoshi Hasegawa(Waseda Univ.), Takao Marukame(Toshiba)
11:15 AM - 11:30 AM
Keywords:Electronic Amoeba, Satisfiability Problem