"Consequences of the Provability of $NP /subseteq P/poly$"@en . . "4" . . "1353;1371" . "0022-4812" . . . "RIV/67985840:_____/07:00088021!RIV08-AV0-67985840" . . "Consequences of the Provability of $NP /subseteq P/poly$" . . . "414819" . . . . . "P(GA201/05/0124), P(IAA1019401), P(LC505), Z(AV0Z10190503)" . "We derive several consequences of the provability of $NP/subseteq P/poly$ in various bounded arithmetic theories. We define the concept of a propositional proof system with advice." . "72" . . "RIV/67985840:_____/07:00088021" . "Consequences of the Provability of $NP /subseteq P/poly$" . . . "[17825AEDD88D]" . "Journal of Symbolic Logic" . "We derive several consequences of the provability of $NP/subseteq P/poly$ in various bounded arithmetic theories. We define the concept of a propositional proof system with advice."@en . . . "2"^^ . . "1"^^ . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "19"^^ . "Odvod\u00EDme n\u011Bkolik d\u016Fsledk\u016F dokazatelnosti $NP/subseteq P/ poly$ v r\u016Fzn\u00FDch teori\u00EDch omezen\u00E9 aritmetiky. Definujeme koncept v\u00FDrokov\u00E9ho d\u016Fkazov\u00E9ho syst\u00E9mu s pomoc\u00ED."@cs . "Consequences of the Provability of $NP /subseteq P/poly$"@en . "Cook, S." . "D\u016Fsledky dokazatelnosti $NP /subseteq P /poly $"@cs . "D\u016Fsledky dokazatelnosti $NP /subseteq P /poly $"@cs . . "computational complexity; proof complexity; bounded arithmetic"@en . "Kraj\u00ED\u010Dek, Jan" . .