Options
noSAT-MaxSATv3
Citation Link: https://doi.org/10.15480/882.13564
Publikationstyp
Conference Paper
Date Issued
2024-08
Sprache
English
Author(s)
TORE-DOI
Start Page
19
End Page
20
Citation
19th MaxSAT Evaluation, MSE 2024
Contribution to Conference
Publisher
Department of Computer Science, University of Helsinki
Peer Reviewed
false
Using 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.
DDC Class
003: Systems Theory
Loading...
Name
noSAT-MaxSAT.pdf
Size
212.84 KB
Format
Adobe PDF