G6 The Final Step

• For each element of ?, add one three-clause group for each combination of time i, and tape square j.

• For each element of ?, we generate 3*p(n)*2(p(n)+1) clauses.

Previous slide

Next slide

Back to first slide

View graphic version