L. Simon and Katsirelos, G.,
“Eigenvector centrality in industrial SAT instances”, in
Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 348-356.
L. Simon, Audemard, G., and Katsirelos, G.,
“A Restriction of Extended Resolution for Clause Learning SAT Solvers”, in
Proc. of American Association of Artificial Intelligence Conference (AAAI), Atlanta United States, 2010.