Multidimensional appropriate clustering and DBSCAN for SAT solving.

Célia Hirèche Habiba Drias

Published in: Data Technol. Appl. (2019)

Keyphrases

sat solving
clustering algorithm
k means
clustering method
density based clustering algorithm
density based clustering
data clustering
instance level constraints
spatial clustering
sat solvers
multi dimensional
boolean satisfiability
categorical data
symmetry breaking
sat problem