Circuit satisfiability problem: Difference between revisions