Pages that link to "Item:Q1656578"
From MaRDI portal
The following pages link to Symmetries of quantified Boolean formulas (Q1656578):
Displaying 6 items.
- Short proofs for some symmetric quantified Boolean formulas (Q1799597) (← links)
- QBFFam: a tool for generating QBF families from proof complexity (Q2118282) (← links)
- On symmetric circuits and fixed-point logics (Q2363965) (← links)
- Dealing with Symmetries in Modal Tableaux (Q2851930) (← links)
- (Q2965470) (← links)
- Symmetry and Satisfiability: An Update (Q4930583) (← links)