More precisely, we identify an essential structural property of industrial instances, based on the Eigenvector centrality of a graphical representation of the formula. We show how this static value, computed only once over the initial formula casts new light on the behavior of CDCL solvers. We ...
Eigenvector Centrality In social-network analysis, eigenvector centrality is used to measure the influence of a node and determine the most peripheral node in a network. From: Computational Intelligence Applications for Text and Sentiment Data Analysis, 2023 ...
More precisely, we identify an essential structural property of industrial instances, based on the Eigenvector centrality of a graphical representation of the formula. We show how this static value, computed only once over the initial formula casts new light on the behavior of CDCL solvers. We ...