The following pages link to (Q3429159):
Displayed 6 items.
- A self-adaptive multi-engine solver for quantified Boolean formulas (Q1020496) (← links)
- A solver for QBFs in negation normal form (Q1020501) (← links)
- Voting by eliminating quantifiers (Q1037605) (← links)
- Encoding deductive argumentation in quantified Boolean formulae (Q1045994) (← links)
- Compressing BMC Encodings with QBF (Q2864383) (← links)
- Validating QBF Validity in HOL4 (Q3088005) (← links)