News for hackers. Stuff that matters.

A comment on The 2-Maxsat Problem Can Be Solved in Polynomial Time. Parent comment

Re:The 2-Maxsat Problem Can Be Solved in Polynomial Time by erk__ on Thursday April 27, 2023 @10:07AM (#35728290)
If I read the paper correctly the 2-MAXSAT problem is usually referred to as MAX-2-SAT

https://en.wikipedia.org/wiki/2-satisfiability#Maximum-2-sat...

[ Parent | on HN ]

There are no comments on this comment yet.