18 citations · 18 across the 1 of their papers we have counts for
1 paper
Sid Mijnders, Boris de Wilde, Marijn Heule
When combined properly, search techniques can reveal the full potential of sophisticated branching heuristics. We demonstrate this observation on the well-known class of random 3-S…