A SAT-based Framework for Efficient Constrained Clustering.

Ian Davidson, S. S. Ravi, Leonid Shamis

Browse the full SDM paper archive.