Dac 2020 accepted papers. We propose a recursive graph-isomorphism searc...