Multidimensional appropriate clustering and DBSCAN for SAT solving

Célia Hirèche, Habiba Drias. Multidimensional appropriate clustering and DBSCAN for SAT solving. Program, 53(1):85-107, 2019. [doi]

Abstract

Abstract is missing.