fully integerated walksat solver with and without caching of break values