Pages that link to "Item:Q1685908"
From MaRDI portal
The following pages link to Total search problems in bounded arithmetic and improved witnessing (Q1685908):
Displaying 7 items.
- The provably total NP search problems of weak second order bounded arithmetic (Q639650) (← links)
- Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem (Q647334) (← links)
- The provably total search problems of bounded arithmetic (Q3018648) (← links)
- Witnessing functions in bounded arithmetic and search problems (Q4227882) (← links)
- Tight bounds for blind search on the integers (Q4910723) (← links)
- NP search problems in low fragments of bounded arithmetic (Q5294030) (← links)
- Improved witnessing and local improvement principles for second-order bounded arithmetic (Q5410329) (← links)