Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers. - Kyozo Hida; Tatsuhiro Tsuchiya (CoRR, 2022)