Authors seem not know about this work: https://pdfs.semanticscholar.org/ff7b/3a7b1dad73797ff7c79ac2dec6ef03f1dae5.pdf https://pdfs.semanticscholar.org/ff7b/3a7b

Authors seem not know about this work: https://pdfs.semanticscholar.org/ff7b/3a7b1dad73797ff7c79ac2dec6ef03f1dae5.pdf https://pdfs.semanticscholar.org/ff7b/3a7b1dad73797ff7c79ac2... One of the claims in the fine paper that started the discussion is that there's a need to perform several flips at once to find better solution. The paper I cite does something very similar - it walks along chained variables postponing flips until energy lowers for sure. They also claim their solver has O(vars) time complexity for many problems, including ones with high density (clause/variable ratio). But nothing revolutionary.