Pages that link to "Item:Q5756570"
From MaRDI portal
The following pages link to QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency (Q5756570):
Displaying 8 items.
- A solver for QBFs in negation normal form (Q1020501) (← links)
- Backdoor sets of quantified Boolean formulas (Q1040783) (← links)
- Using decomposition-parameters for QBF: mind the prefix! (Q2304627) (← links)
- Incremental Determinization (Q2818028) (← links)
- Backdoors to Satisfaction (Q2908542) (← links)
- Small Resolution Proofs for QBF using Dependency Treewidth (Q3304126) (← links)
- Resolution and Expressiveness of Subclasses of Quantified Boolean Formulas and Circuits (Q3637174) (← links)
- Beyond CNF: A Circuit-Based QBF Solver (Q3637177) (← links)
