3 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Sixue Liu
Stochastic local search (SLS) algorithms have exhibited great effectiveness in finding models of random instances of the Boolean satisfiability problem (SAT). As one of the most wi…