Author:
Publication: Artificial Intelligence
Introduction to the special issue on Combining Constraint Solving with Mining and Learning
Mining Top-k motifs with a SAT-based framework