Improved Algorithms for Maximum Satisfiability and Its Special Cases

Published in AAAI, 2023

This paper develops improved exact algorithms for Maximum Satisfiability, including stronger bounds for the (n,3)-MaxSAT and (n,4)-MaxSAT settings.

Recommended citation: Kirill Brilliantov, Vasily Alferov, and Ivan Bliznets. "Improved Algorithms for Maximum Satisfiability and Its Special Cases." AAAI, 2023.
Download Paper