The following pages link to Dependency learning for QBF (Q1680261):
Displaying 16 items.
- Learning an extension of the class of functional dependencies with queries (Q264983) (← links)
- Quantifier reordering for QBF (Q287386) (← links)
- From DQBF to QBF by dependency elimination (Q1680263) (← links)
- Building strategies into QBF proofs (Q2031411) (← links)
- Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations (Q2058378) (← links)
- Solving dependency quantified Boolean formulas using quantifier localization (Q2148900) (← links)
- Knowledge representation analysis of graph mining (Q2317967) (← links)
- The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- (Q3384880) (← links)
- Dependency Learning for QBF (Q4968372) (← links)
- The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)
- (Q5079746) (← links)
- (Q5090460) (← links)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)