<?xml version="1.0" encoding="UTF-8"?>
<article article-type="Research Article">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher">journal-of-information-and-optimization-sciences</journal-id>
      <journal-title-group>
        <journal-title>Journal of Information and Optimization Sciences</journal-title>
      </journal-title-group>
      <issn publication-format="electronic">2169-0103</issn>
      <issn publication-format="print">0252-2667</issn>
      <publisher>
        <publisher-name>Taru Publications</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.47974/JIOS-1392</article-id>
      <title-group>
        <article-title>Two paradigms for combining optimization and satisfiability : Maximum satisfiability and optimum satisfiability problems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name>
            <surname>Konovalenko</surname>
            <given-names>Anna</given-names>
          </name>
          <aff>Faculty of Logistics, Molde University College, Molde, P. O. Box 2110, N-6402, Norway</aff>
        </contrib>
        <contrib contrib-type="author" corresp="yes">
          <name>
            <surname>Hvattum</surname>
            <given-names>Lars Magnus</given-names>
          </name>
          <aff>Faculty of Logistics, Molde University College, Molde, P. O. Box 2110, N-6402, Norway</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Urrutia</surname>
            <given-names>Sebastián</given-names>
          </name>
          <aff>Faculty of Logistics, Molde University College, Molde, P. O. Box 2110, N-6402, Norway</aff>
        </contrib>
      </contrib-group>
      <volume>47</volume>
      <issue>2</issue>
      <fpage>399</fpage>
      <lpage>427</lpage>
      <pub-date date-type="pub">
        <day>03</day>
        <month>02</month>
        <year>2025</year>
      </pub-date>
      <abstract>
        <p>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 been described and tackled separately by using specialized solvers for each problem. This paper investigates a connection between MaxSAT and OptSAT where each problem can be reduced to the other. We consider several heuristic solvers and different sets of benchmark instances for each problem and investigate whether one class of solvers can tackle instances of the other problem with competitive results. Through computational experiments, we conclude that specialized solvers for one of the problems cannot compete with specialized solvers for the other problem and point out potential improvements of the solvers that are needed to successfully address a wider range of problem instances.</p>
      </abstract>
      <kwd-group>
        <kwd>Boolean optimization problem</kwd>
        <kwd>Minimum cost satisfiability</kwd>
        <kwd>Binary integer programming</kwd>
        <kwd>Heuristic</kwd>
      </kwd-group>
      <custom-meta-group>
        <custom-meta>
          <meta-name>access</meta-name>
          <meta-value>open</meta-value>
        </custom-meta>
        <custom-meta>
          <meta-name>retracted</meta-name>
          <meta-value>no</meta-value>
        </custom-meta>
      </custom-meta-group>
    </article-meta>
  </front>
</article>
