The following pages link to (Q4988300):
Displaying 5 items.
- Lower bounds for some decision problems over \(C\) (Q1605321) (← links)
- Proof complexity of symbolic QBF reasoning (Q2118330) (← links)
- Lower bounds for monotonic list labeling (Q5056101) (← links)
- Decision List Compression by Mild Random Restrictions (Q5056434) (← links)
- Linear threshold functions in decision lists, decision trees, and depth-2 circuits (Q6072201) (← links)