Finding Critical Nodes in Interdependent Networks with SAT and ILP Solvers.
Kyozo HidaTatsuhiro TsuchiyaPublished in: CoRR (2022)
Keyphrases
- sat solvers
- network structure
- sat instances
- small world
- sat solving
- missing links
- real world networks
- neighboring nodes
- inductive logic programming
- network topologies
- social networks
- mobile nodes
- network nodes
- fully connected
- propositional satisfiability
- average degree
- modulo theories
- network analysis
- search algorithm
- orders of magnitude
- satisfiability problem
- betweenness centrality
- search strategies
- centrality measures
- shortest path
- complex networks
- computer networks
- information networks
- phase transition
- search tree
- power law
- local area network
- community structure
- strongly connected
- directed graph
- pseudo boolean
- graph structure
- sat problem