Pages that link to "Item:Q1799077"
From MaRDI portal
The following pages link to \({\textsf{QRAT}}^{+}\): generalizing QRAT by a more powerful QBF redundancy property (Q1799077):
Displaying 5 items.
- How QBF expansion makes strategy extraction hard (Q2096438) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)
- Inconsistency Proofs for ASP: The ASP - DRUPE Format (Q5108508) (← links)
- Hardness Characterisations and Size-width Lower Bounds for QBF Resolution (Q5886517) (← links)
