TY  - RPRT
TI  - Revisiting the Learned Clauses Database Reduction Strategies
AU  - Said Jabbour
AU  - Jerry Lonlac
AU  - Lakhdar Sais
AU  - Yakoub Salhi
PY  - 2014
UR  - https://arxiv.org/abs/1402.1956
ID  - 1402.1956
ER  -