6 citations · 11 across the 7 of their papers we have counts for
1 paper · 1 filter
Dor Cohen, Ofer Strichman
In a recent article [Oh'15], Oh examined the impact of various key heuristics (e.g., deletion strategy, restart policy, decay factor, database reduction) in competitive SAT solvers…