The following pages link to Shuo Pang (Q2117103):
Displayed 7 items.
- Large clique is hard on average for resolution (Q2117104) (← links)
- On CDCL-based proof systems with the ordered decision strategy (Q2661344) (← links)
- (Q2859701) (← links)
- (Q4901411) (← links)
- On CDCL-Based Proof Systems with the Ordered Decision Strategy (Q5097511) (← links)
- SOS lower bound for exact planted clique (Q6115389) (← links)
- Fixed-point iterative linear inverse solver with extended precision (Q6366905) (← links)