Pages that link to "Item:Q987797"

The following pages link to A direct construction of polynomial-size OBDD proof of pigeon hole problem (Q987797):

Displaying 2 items.

• (Q5121904) (← links)
• ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES (Q5148102) (← links)