Boolean satisfiability for sequence mining.

Saïd Jabbour|Lakhdar Sais|Yakoub Salhi


Anthology ID:DBLP:conf/cikm/JabbourSS13
Volume:22nd ACM International Conference on Information and Knowledge Management, CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013
Year:2013
Venue:International Conference on Information and Knowledge Management (CIKM)
Publisher:ACM
Pages:649-658
URL:https://doi.org/10.1145/2505515.2505577
DOI:https://doi.org/10.1145/2505515.2505577
DBLP:conf/cikm/JabbourSS13
BibTeX:
@inproceedings{jabbour-2013-boolean, author = {Sa\"{i}d Jabbour and Lakhdar Sais and Yakoub Salhi}, editor = {Qi He and Arun Iyengar and Wolfgang Nejdl and Jian Pei and Rajeev Rastogi}, title = {{Boolean satisfiability for sequence mining}}, booktitle = {{22nd ACM International Conference on Information and Knowledge Management, CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013}}, pages = {649--658}, publisher = {ACM}, year = {2013}, url = {https://doi.org/10.1145/2505515.2505577}, doi = {https://doi.org/10.1145/2505515.2505577} }