The Complexity of Satisfiability of Small Depth Circuits
scientific article