TY  - RPRT
TI  - An Experimental Study of Permanently Stored Learned Clauses
AU  - Sima Jamali
AU  - David Mitchell
PY  - 2021
UR  - https://arxiv.org/abs/2110.14187
ID  - 2110.14187
ER  -