Author:
Publication: Artificial Intelligence
SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem
Definability for model counting