Eigenvector centrality in industrial SAT instances

TitleEigenvector centrality in industrial SAT instances
Publication TypeConference Paper
Year of Publication2012
AuthorsSimon, L, Katsirelos, G
Conference NameProc. of International Conference on Principles and Practice of Constraint Programming (CP)
Date Publishedoct
Conference LocationQu├ębec City, Canada