Comparison Between SAT-Based and CSP-Based Approaches to Resolve Pattern Mining Problems.

Akram Rajeb, Abdelmajid Ben Hamadou, Zied Loukil

Browse the full HIS paper archive.