TY  - RPRT
TI  - Towards Learned Clauses Database Reduction Strategies Based on Dominance Relationship
AU  - Jerry Lonlac
AU  - Engelbert Mephu Nguifo
PY  - 2017
UR  - https://arxiv.org/abs/1705.10898
ID  - 1705.10898
ER  -