Sean Gilpin, Ian N. Davidson
Incorporating SAT solvers into hierarchical clustering algorithms: an efficient and flexible approach
KDD, 2011.
@inproceedings{KDD-2011-GilpinD,
author = "Sean Gilpin and Ian N. Davidson",
booktitle = "{Proceedings of the 17th International Conference on Knowledge Discovery and Data Mining}",
doi = "10.1145/2020408.2020585",
isbn = "978-1-4503-0813-7",
pages = "1136--1144",
publisher = "{ACM}",
title = "{Incorporating SAT solvers into hierarchical clustering algorithms: an efficient and flexible approach}",
year = 2011,
}