Boolean satisfiability for sequence mining

Saïd Jabbour, Lakhdar Sais, Yakoub Salhi. Boolean satisfiability for sequence mining. In Qi He, Arun Iyengar, Wolfgang Nejdl, Jian Pei, Rajeev Rastogi, editors, 22nd ACM International Conference on Information and Knowledge Management, CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013. pages 649-658, ACM, 2013. [doi]

Authors

Saïd Jabbour

This author has not been identified. Look up 'Saïd Jabbour' in Google

Lakhdar Sais

This author has not been identified. Look up 'Lakhdar Sais' in Google

Yakoub Salhi

This author has not been identified. Look up 'Yakoub Salhi' in Google