incorporating SAT solvers into hierarchical clustering algorithms: An efficient and flexible approach (2011)

by S Gilpin, I Davidson
Venue:in: ACM SIGKDD Int. Conf. Knowl. Disc. and Data Min. (KDD