SAT-based algorithm for finding all maximal cliques

Haitao Wu, Ningbo Hao, Wen-Kuang Chou. SAT-based algorithm for finding all maximal cliques. IJCSE, 12(2/3):186-191, 2016. [doi]

Abstract

Abstract is missing.