6 citations · 7 across the 3 of their papers we have counts for
1 paper · 2 filters
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…