Pages that link to "Item:Q5713726"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5713726):
Displaying 9 items.
- Backdoor sets of quantified Boolean formulas (Q1040783) (← links)
- QBF as an alternative to Courcelle's theorem (Q1656581) (← links)
- Solving dependency quantified Boolean formulas using quantifier localization (Q2148900) (← links)
- On Stronger Calculi for QBFs (Q2818031) (← links)
- Strong WQO Tree Theorems (Q3295147) (← links)
- A Compact Representation for Syntactic Dependencies in QBFs (Q3637175) (← links)
- Cardinality Quantifiers in MLO over Trees (Q3644744) (← links)
- Understanding Gentzen and Frege Systems for QBF (Q4635870) (← links)
- Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers (Q5170277) (← links)