Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT

Download PDF
Open Webpage

Alexander Nadel

Published: 01 Jan 2020, Last Modified: 16 Jun 2024J. Satisf. Boolean Model. Comput. 2020EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: This paper is a system description of the anytime MaxSAT solver TT-Open-WBO-Inc, which won both of the weighted incomplete tracks of MaxSAT Evaluation 2019. We implemented the recently introduced polarity and variable selection heuristics, TORC and TSB, respectively, in the Open-WBO-Inc-BMO algorithm within the open-source anytime MaxSAT solver Open-WBO-Inc. As a result, the solver is substantially more efficient.