Lübke, OleOleLübke2024-10-232024-10-232024-0819th MaxSAT Evaluation (MSE 2024)https://hdl.handle.net/11420/49794Using a SAT solver to solve MaxSAT is a well-established and efficient method. However, in resource-constrained computing environments, e.g., embedded systems, such algorithm designs can be hard to realize. With noSAT-MaxSAT, we explore alternatives that do not rely on an external, dedicated SAT solver. Compared to the previous version, the most notable changes in noSAT-MaxSATv3 include an update of the base algorithm to NuWLS-2.0, new rules for restarting, the integration of a new Frequency Fitness Assignment-inspired variable selection heuristic in local optima, and the inclusion of fixed-precision integer arithmetic to increase precision in weight calculations without resorting to floating-point numbers.enhttps://creativecommons.org/licenses/by-sa/4.0/Computer Science, Information and General Works::003: Systems TheoryConference Paper10.15480/882.1356410.15480/882.1356410138/584878Conference Paper