Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno. Mining-based compression approach of propositional formulae. 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 289-298, ACM, 2013. [doi]
Abstract is missing.