Shuo Pang
From MaRDI portal
Person:2117103
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| SOS lower bound for exact planted clique | 2023-07-12 | Paper |
| On CDCL-Based Proof Systems with the Ordered Decision Strategy SIAM Journal on Computing | 2022-08-25 | Paper |
| Large clique is hard on average for resolution | 2022-03-21 | Paper |
| Fixed-point iterative linear inverse solver with extended precision | 2021-05-05 | Paper |
| On CDCL-based proof systems with the ordered decision strategy (available as arXiv preprint) | 2021-04-07 | Paper |
| The Birkhoffian expression of a Boltzmann-Hamel equation of nonholonomic system and its generalized symplectic geometric algorithm Acta Physica Sinica | 2013-11-19 | Paper |
| Mei symmetry and their conserved quantities of Tzénoff equations for the variable mass nonholonomic systems | 2013-01-24 | Paper |
Research outcomes over time
This page was built for person: Shuo Pang
