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]

Authors

Oleg V. Shylo

This author has not been identified. Look up 'Oleg V. Shylo' in Google

Oleg A. Prokopyev

This author has not been identified. Look up 'Oleg A. Prokopyev' in Google

Vladimir Shylo

This author has not been identified. Look up 'Vladimir Shylo' in Google