Boolean satisfiability for sequence mining.

Sad Jabbour, Lakhdar Sais, Yakoub Salhi

Browse the full CIKM paper archive.