QP versus NP

Preprint OPEN
Frank Vega;

Given an instance of $\textit{XOR 2SAT}$ with $m$ clauses and a positive integer $K$ given in unary, the problem majority exclusive-or 2-satisfiability consists in deciding whether this Boolean formula has a truth assignment with at leat $K$ satisfiable clauses and $K \... View more
Share - Bookmark

  • Download from
    ZENODO via ZENODO (Preprint, 2018)
  • Cite this publication