MAJORITY-3SAT (and Related Problems) in Polynomial Time

Open in new window