Sean Gilpin, Ian Davidson. Incorporating SAT solvers into hierarchical clustering algorithms: an efficient and flexible approach. In Chid Apté, Joydeep Ghosh, Padhraic Smyth, editors, Proceedings of the 17th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Diego, CA, USA, August 21-24, 2011. pages 1136-1144, ACM, 2011. [doi]
Abstract is missing.