The following pages link to (Q3429159):
Displayed 8 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)
- New models for generating hard random Boolean formulas and disjunctive logic programs (Q2287195) (← links)
- Compressing BMC Encodings with QBF (Q2864383) (← links)
- Validating QBF Validity in HOL4 (Q3088005) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)