Efficient Ising Model Mapping for Induced Subgraph Isomorphism Problems Using Ising Machines | IEEE Conference Publication | IEEE Xplore