Pages that link to "Item:Q430840"

The following pages link to Lower bounds for \(k\)-DNF resolution on random 3-CNFs (Q430840):

Displaying 3 items.

• Special issue in memory of Misha Alekhnovich. Foreword (Q430839) (← links)
• Resolution and the binary encoding of combinatorial principles (Q5091756) (← links)
• Proof complexity and the binary encoding of combinatorial principles (Q6562831) (← links)