Grid based clustering for satisfiability solving.

Célia Hirèche Habiba Drias Hadjer Moulai

Published in: Appl. Soft Comput. (2020)

Keyphrases

clustering algorithm
clustering method
k means
data clustering
satisfiability problem
hierarchical clustering
self organizing maps
categorical data
stochastic local search
pairwise
high dimensional data
distance metric
neural network
fuzzy clustering
data mining tasks
sat encodings
sat solving