Pages that link to "Item:Q5015602"
From MaRDI portal
The following pages link to The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602):
Displaying 6 items.
- Certified DQBF solving by definition extraction (Q2118343) (← links)
- DQBDD: an efficient BDD-based DQBF solver (Q2118347) (← links)
- Solving dependency quantified Boolean formulas using quantifier localization (Q2148900) (← links)
- On preprocessing for weighted MaxSAT (Q2234104) (← links)
- Using decomposition-parameters for QBF: mind the prefix! (Q2304627) (← links)
- Dependency schemes in CDCL-based QBF solving: a proof-theoretic study (Q6611965) (← links)