Pages that link to "Item:Q2417950"
From MaRDI portal
The following pages link to Long-distance Q-resolution with dependency schemes (Q2417950):
Displaying 8 items.
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- A little blocked literal goes a long way (Q1680260) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Towards Uniform Certification in QBF (Q6151563) (← links)
- On structures of regular standard contradictions in propositional logic (Q6154459) (← links)
- Should Decisions in QCDCL Follow Prefix Order? (Q6493568) (← links)
- Dependency schemes in CDCL-based QBF solving: a proof-theoretic study (Q6611965) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)