Lakhdar Sais
2013
Boolean satisfiability for sequence mining
Saïd Jabbour
|
Lakhdar Sais
|
Yakoub Salhi
22nd ACM International Conference on Information and Knowledge Management, CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013
Mining-based compression approach of propositional formulae
Saïd Jabbour
|
Lakhdar Sais
|
Yakoub Salhi
|
Takeaki Uno
22nd ACM International Conference on Information and Knowledge Management, CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013