Lin Yu Tseng, Chun Chen. Solving the maximum satisfiability problem by fuzzy converting it into a continuous optimization problem. In 2014 International Conference on Machine Learning and Cybernetics, Lanzhou, China, July 13-16, 2014. pages 352-358, IEEE, 2014. [doi]
Abstract is missing.