Pages that link to "Item:Q5133965"
From MaRDI portal
The following pages link to Frege Systems for Quantified Boolean Logic (Q5133965):
Displaying 16 items.
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- Proof complexity of modal resolution (Q832717) (← links)
- Lower bounds for QCDCL via formula gauge (Q2118284) (← links)
- Hardness and optimality in QBF proof systems modulo NP (Q2118289) (← links)
- Proof complexity of symbolic QBF reasoning (Q2118330) (← links)
- Characterising tree-like Frege proofs for QBF (Q2272983) (← links)
- A simple proof of QBF hardness (Q2656352) (← links)
- Quasi-truth-functional systems of propositional logic (Q3293394) (← links)
- Understanding Gentzen and Frege Systems for QBF (Q4635870) (← links)
- (Q4731169) (← links)
- (Q4850545) (← links)
- Lower bounds for QCDCL via formula gauge (Q6053848) (← links)
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750) (← links)
- Towards Uniform Certification in QBF (Q6151563) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)
- QBF merge resolution is powerful but unnatural (Q6635504) (← links)