Incorporating SAT solvers into hierarchical clustering algorithms: an efficient and flexible approach.

Sean Gilpin, Ian N. Davidson

Browse the full KDD paper archive.