AND-OR circuits

12 Novembro 2021, 08:30 José Félix Costa

Riordan's and Shannon's Theorem.

Algorithm to convert classical Boolean circuits in AND-OR circuits.
Exponential size circuits.
The CVP decision problem.
Simulating bounded resources Turing machines with families of circuits.

--- END OF TERM 1 ---