Mining-based compression approach of propositional formulae.

@inproceedings{jabbour-2013-miningbased, author = {Sa\"{i}d Jabbour and Lakhdar Sais and Yakoub Salhi and Takeaki Uno}, editor = {Qi He and Arun Iyengar and Wolfgang Nejdl and Jian Pei and Rajeev Rastogi}, title = {{Mining-based compression approach of propositional formulae}}, booktitle = {{22nd ACM International Conference on Information and Knowledge Management, CIKM'13, San Francisco, CA, USA, October 27 - November 1, 2013}}, pages = {289--298}, publisher = {ACM}, year = {2013}, url = {https://doi.org/10.1145/2505515.2505576}, doi = {https://doi.org/10.1145/2505515.2505576} }