The following pages link to dCAQE (Q5974756):
Displayed 5 items.
- Building strategies into QBF proofs (Q2031411) (← links)
- Davis and Putnam meet Henkin: solving DQBF with resolution (Q2118283) (← links)
- 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)