Pages that link to "Item:Q3619867"
From MaRDI portal
The following pages link to On the correspondence between arithmetic theories and propositional proof systems – a survey (Q3619867):
Displaying 6 items.
- Proof complexity of modal resolution (Q832717) (← links)
- Nondeterministic functions and the existence of optimal proof systems (Q837177) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Hardness Characterisations and Size-width Lower Bounds for QBF Resolution (Q5886517) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- Towards Uniform Certification in QBF (Q6151563) (← links)