Pages that link to "Item:Q2148900"
From MaRDI portal
The following pages link to Solving dependency quantified Boolean formulas using quantifier localization (Q2148900):
Displaying 4 items.
- Henkin quantifiers and Boolean formulae: a certification perspective of DQBF (Q2435315) (← links)
- Extended Failed-Literal Preprocessing for Quantified Boolean Formulas (Q2843325) (← links)
- Dependency Learning for QBF (Q4968372) (← links)
- Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (Q5326456) (← links)