Lifting lower bounds for tree-like proofs

Alexis Maciel, Phuong Nguyen, Toniann Pitassi. Lifting lower bounds for tree-like proofs. Computational Complexity, 23(4):585-636, 2014. [doi]

Authors

Alexis Maciel

This author has not been identified. Look up 'Alexis Maciel' in Google

Phuong Nguyen

This author has not been identified. Look up 'Phuong Nguyen' in Google

Toniann Pitassi

This author has not been identified. Look up 'Toniann Pitassi' in Google