Pages that link to "Item:Q2870136"
From MaRDI portal
The following pages link to Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving (Q2870136):
Displaying 6 items.
- Quantified maximum satisfiability (Q272016) (← links)
- The QBF Gallery: behind the scenes (Q286397) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
- Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
- Classes of hard formulas for QBF resolution (Q6488807) (← links)
