Pages that link to "Item:Q4930586"
From MaRDI portal
The following pages link to Integrating Dependency Schemes in Search-Based QBF Solvers (Q4930586):
Displaying 14 items.
- Quantifier reordering for QBF (Q287386) (← links)
- Symmetry in Gardens of Eden (Q396822) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Soundness of \(\mathcal{Q}\)-resolution with dependency schemes (Q896919) (← links)
- Using decomposition-parameters for QBF: mind the prefix! (Q2304627) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- Efficiently solving quantified bit-vector formulas (Q2441770) (← links)
- Dependency Schemes for DQBF (Q2818034) (← links)
- HordeQBF: A Modular and Massively Parallel QBF Solver (Q2818039) (← links)
- Small Resolution Proofs for QBF using Dependency Treewidth (Q3304126) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)
- Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
- Towards Uniform Certification in QBF (Q6151563) (← links)
- Dependency schemes in CDCL-based QBF solving: a proof-theoretic study (Q6611965) (← links)
