ECS 220 3a:5-5.2 circuit to simulate Turing machine, Witness-Existence reduces to Circuit-SAT

From David Doty  

views comments