scientific article

zbMath0733.68041MaRDI QIDQ3359762

Pavel Pudlák, Jiří Sgall, Jan Krajíček

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

TSPCLIQUEoracle computationsweak arithmetical theoriescomplete optimization problemscounterexample computations

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Related Items (6)

Typical forcings, NP search problems and an extension of a theorem of Riis ⋮ On parallel hierarchies and \(R_k^i\) ⋮ On the complexity of incremental computation ⋮ On parallel hierarchies and R ki ⋮ ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS ⋮ Unnamed Item

This page was built for publication: