Classification of intractable/tractable satisfiability problem variants Posted by Vor, at cs.stackexchange.com, 12 Apr 2012 Recently I found in a paper [1] a special symmetric version of SAT called the 2/2/4-SAT. But there are many $\text{NP}$-complete…