TY  - RPRT
TI  - Mining to Compact CNF Propositional Formulae
AU  - Said Jabbour
AU  - Lakhdar Sais
AU  - Yakoub Salhi
PY  - 2013
UR  - https://arxiv.org/abs/1304.4415
ID  - 1304.4415
ER  -