Solving the maximum satisfiability problem by fuzzy converting it into a continuous optimization problem | IEEE Conference Publication | IEEE Xplore