Solving weighted MAX-SAT via global equilibrium search

Oleg V. Shylo, Oleg A. Prokopyev, Vladimir Shylo. Solving weighted MAX-SAT via global equilibrium search. Oper. Res. Lett., 36(4):434-438, 2008. [doi]

Abstract

Abstract is missing.