Improved witnessing and local improvement principles for second-order bounded arithmetic (Q5410329)
From MaRDI portal
scientific article; zbMATH DE number 6285708
Language | Label | Description | Also known as |
---|---|---|---|
English | Improved witnessing and local improvement principles for second-order bounded arithmetic |
scientific article; zbMATH DE number 6285708 |
Statements
Improved witnessing and local improvement principles for second-order bounded arithmetic (English)
0 references
16 April 2014
0 references
bounded arithmetic
0 references
NP search problems
0 references
local improvement
0 references
polynomial space
0 references
provably total functions
0 references
witnessing
0 references
0 references