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]
Abstract is missing.