A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence.

Emmanuel Coquery, Sad Jabbour, Lakhdar Sas, Yakoub Salhi

Browse the full ECAI paper archive.