Operations research based approaches for the (maximum) satisfiability problem