The 3-satisfiability problem
We present a deterministic polynomial-time algorithm that solves the 3-satisfiability problem.
cs.CC↗
arXiv subjects
Publications and source records attributed to Amar Mukherjee.
We present a deterministic polynomial-time algorithm that solves the 3-satisfiability problem.