Comparison Between SAT-Based and CSP-Based Approaches to Resolve Pattern Mining Problems. - Akram Rajeb; Abdelmajid Ben Hamadou; Zied Loukil (HIS, 2015)