Pages that link to "Item:Q4227882"
From MaRDI portal
The following pages link to Witnessing functions in bounded arithmetic and search problems (Q4227882):
Displaying 11 items.
- Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem (Q647334) (← links)
- Total search problems in bounded arithmetic and improved witnessing (Q1685908) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Random resolution refutations (Q2311546) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- The Ordering Principle in a Fragment of Approximate Counting (Q2946740) (← links)
- Herbrandizing search problems in Bounded Arithmetic (Q3159414) (← links)
- On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867) (← links)
- Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic (Q4358049) (← links)
- Approximate counting and NP search problems (Q5055313) (← links)
- Improved witnessing and local improvement principles for second-order bounded arithmetic (Q5410329) (← links)
