Ian Davidson, S. S. Ravi, Leonid Shamis. A SAT-based Framework for Efficient Constrained Clustering. In Proceedings of the SIAM International Conference on Data Mining, SDM 2010, April 29 - May 1, 2010, Columbus, Ohio, USA. pages 94-105, SIAM, 2010. [doi]
Abstract is missing.