Shuo Pang

Orcid: 0000-0001-5652-9737

Affiliations:

University of Copenhagen, Denmark

According to our database¹, Shuo Pang authored at least 5 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Truly Supercritical Trade-offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler-Leman.

[BibT_eX]

[DOI]

Susanna F. de Rezende

Electron. Colloquium Comput. Complex., 2024

2023

Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz.

[BibT_eX]

[DOI]

Jonas Conneryd

Susanna F. de Rezende

Jakob Nordström

Shuo Pang

Kilian Risse

Proceedings of the 64th IEEE Annual Symposium on Foundations of Computer Science, 2023

2022

On CDCL-Based Proof Systems with the Ordered Decision Strategy.

[BibT_eX]

[DOI]

Nathan Mull

Shuo Pang

Alexander A. Razborov

SIAM J. Comput., August, 2022

2021

SOS Lower Bound for Exact Planted Clique.

[BibT_eX]

[DOI]

Shuo Pang

Proceedings of the 36th Computational Complexity Conference, 2021

2019

Large Clique is Hard on Average for Resolution.

[BibT_eX]

[DOI]

Shuo Pang

Electron. Colloquium Comput. Complex., 2019

Shuo Pang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...