Revisiting the Learned Clauses Database Reduction Strategies

Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi. Revisiting the Learned Clauses Database Reduction Strategies. International Journal on Artificial Intelligence Tools, 27(8):1850033, 2018. [doi]

Abstract

Abstract is missing.