Pages that link to "Item:Q896919"
From MaRDI portal
The following pages link to Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919):
Displaying 14 items.
- Certified DQBF solving by definition extraction (Q2118343) (← links)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
- Reinterpreting dependency schemes: soundness meets incompleteness in DQBF (Q2323446) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- Dependency Schemes for DQBF (Q2818034) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Small Resolution Proofs for QBF using Dependency Treewidth (Q3304126) (← links)
- The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)
- (Q5136303) (← links)
- Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750) (← 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)
