2 votes

MSAT and IMSAT problems (restricted versions of SAT)

For your first question, I'll give an elementary proof for the $\mathsf{NP}$-hardness of $\mathrm{MSAT}$ by reduction from $\mathrm{SAT}$. Let $\varphi$ be a propositional formula in CNF (i.e., a $\...
user avatar
  • 1,331

Only top scored, non community-wiki answers of a minimum length are eligible