Solving the all-interval series problem: SAT vs CP
Efficient Anytime Density-based Clustering