808 citations · 856 across the 12 of their papers we have counts for
1 paper · 2 filters
Konstantin Kutzkov, Dominik Scheder
We show how one can use certain deterministic algorithms for higher-value constraint satisfaction problems (CSPs) to speed up deterministic local search for 3-SAT. This way, we imp…