Circuits
Circuits
Efficient Computation can be expressed by small circuits.
Can we show Satisfiability must have large circuits?
Previous slide
Next slide
Back to the first slide
View Graphic Version