. . . . "1"^^ . "A proof complexity generator" . . . . "Velk\u00E1 Brit\u00E1nie" . "11320" . . . "Kraj\u00ED\u010Dek, Jan" . "College Publications" . . "A proof complexity generator" . "generator; complexity; proof"@en . "[363A578DC955]" . . . "2007-08-19+02:00"^^ . "6"^^ . "RIV/00216208:11320/09:10050646" . "We define by a 2DNF formula a Boolean map from n bits to n+1 bits such that in any propositional proof system for which the PHP principle is hard, it is hard to prove about any n+1 string that it is outside of the range of the map."@en . "P(IAA1019401), P(LC505), Z(MSM0021620839)" . "301517" . "Peking, \u010C\u00EDna" . "RIV/00216208:11320/09:10050646!RIV13-MSM-11320___" . "A proof complexity generator"@en . . . "1-904987-45-1" . . . . "A proof complexity generator"@en . "We define by a 2DNF formula a Boolean map from n bits to n+1 bits such that in any propositional proof system for which the PHP principle is hard, it is hard to prove about any n+1 string that it is outside of the range of the map." . "Logic, Methodology and Pholosophy of Science: Proccedings Of The Thirteenth International Congress" . . . "1"^^ .