2 citations · 5 across the 5 of their papers we have counts for
1 paper · 2 filters
Said Jabbour, Jerry Lonlac, Lakhdar Sais +1
In this paper, we revisit an important issue of CDCL-based SAT solvers, namely the learned clauses database management policies. Our motivation takes its source from a simple obser…