The following pages link to Dependency Learning for QBF (Q4968372):
Displaying 15 items.
- Learning an extension of the class of functional dependencies with queries (Q264983) (← links)
- Quantifier reordering for QBF (Q287386) (← links)
- Dependency learning for QBF (Q1680261) (← links)
- From DQBF to QBF by dependency elimination (Q1680263) (← links)
- Lower bounds for QCDCL via formula gauge (Q2118284) (← links)
- Proof complexity of symbolic QBF reasoning (Q2118330) (← links)
- Solving dependency quantified Boolean formulas using quantifier localization (Q2148900) (← links)
- Planning with Incomplete Information in Quantified Answer Set Programming (Q5019607) (← links)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)
- Theory and Applications of Satisfiability Testing (Q5713750) (← 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)
- Should Decisions in QCDCL Follow Prefix Order? (Q6493568) (← links)
- Dependency schemes in CDCL-based QBF solving: a proof-theoretic study (Q6611965) (← links)