Pages that link to "Item:Q4227882"
From MaRDI portal
The following pages link to Witnessing functions in bounded arithmetic and search problems (Q4227882):
Displayed 7 items.
- Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem (Q647334) (← 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)
- On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867) (← links)
- Approximate counting and NP search problems (Q5055313) (← links)