Pages that link to "Item:Q2424676"

The following pages link to A game characterisation of tree-like Q-resolution size (Q2424676):

Displayed 7 items.

• Proof complexity of modal resolution (Q832717) ‎ (← links)
• Lower bounds for QCDCL via formula gauge (Q2118284) ‎ (← links)
• Special issue: Selected papers of the 9th international conference on language and automata theory and applications, LATA 2015 (Q2424669) ‎ (← links)
• A simple proof of QBF hardness (Q2656352) ‎ (← links)
• Hardness Characterisations and Size-width Lower Bounds for QBF Resolution (Q5886517) ‎ (← links)
• Lower bounds for QCDCL via formula gauge (Q6053848) ‎ (← links)
• Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution (Q6135750) ‎ (← links)