Characterization of the \#k # k -SAT Problem in Terms of Connected Components.

Giuseppe Nicosia Piero Conca

Published in: MOD (2015)

Keyphrases

connected components
binary images
sat problem
satisfiability problem
max sat
graph mining
connected component labeling
data mining
computer vision
itemsets
phase transition
boolean satisfiability
strongly connected components