Incorporating SAT Solvers into Hierarchicalclustering Algorithms - An Efficient and Flexible approach