Pages that link to "Item:Q2870136"

The following pages link to Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving (Q2870136):

Displaying 25 items.

• Quantified maximum satisfiability (Q272016) (← links)
• The QBF Gallery: behind the scenes (Q286397) (← links)
• Relating size and width in variants of Q-resolution (Q1653019) (← links)
• Understanding cutting planes for QBFs (Q1784953) (← links)
• Lower bound techniques for QBF expansion (Q1987510) (← links)
• Building strategies into QBF proofs (Q2031411) (← links)
• QBFFam: a tool for generating QBF families from proof complexity (Q2118282) (← links)
• Lower bounds for QCDCL via formula gauge (Q2118284) (← links)
• Proof complexity of symbolic QBF reasoning (Q2118330) (← links)
• Long-distance Q-resolution with dependency schemes (Q2417950) (← links)
• A game characterisation of tree-like Q-resolution size (Q2424676) (← links)
• A simple proof of QBF hardness (Q2656352) (← links)
• A Game Characterisation of Tree-like Q-resolution Size (Q2799200) (← links)
• Long Distance Q-Resolution with Dependency Schemes (Q2818036) (← links)
• (Q3304106) (← links)
• (Q4625701) (← links)
• (Q4625702) (← links)
• CAQE and QuAbS: Abstraction Based QBF Solvers (Q5015608) (← links)
• (Q5090460) (← links)
• Backdoors to Normality for Disjunctive Logic Programs (Q5277908) (← links)
• Lower bounds for QCDCL via formula gauge (Q6053848) (← links)
• Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750) (← links)
• Towards Uniform Certification in QBF (Q6151563) (← links)
• Classes of hard formulas for QBF resolution (Q6488807) (← links)
• QBF merge resolution is powerful but unnatural (Q6635504) (← links)