Open Access
Research Article·pp. 399–427·Vol. 47, Issue 2Feb 2026
Two paradigms for combining optimization and satisfiability : Maximum satisfiability and optimum satisfiability problems
Anna Konovalenko, Lars Magnus Hvattum, Sebastián Urrutia
Published Online: 02 Feb 2026DOI: 10.47974/JIOS-1392
In this paper: Maximum satisfiability (MaxSAT) and optimum satisfiability (OptSAT) problems are two optimization versions of the NP-complete Boolean satisfiability problem. In the literature, these versions have bee...
