Mining-based compression approach of propositional formulae.

Sad Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno

Browse the full CIKM paper archive.