Polynomial-size Frege and resolution proofs of \(st\)-connectivity and Hex tautologies
scientific article