Shuo Pang

From MaRDI portal
Person:2117103

Available identifiers

zbMath Open pang.shuoMaRDI QIDQ2117103

List of research outcomes





PublicationDate of PublicationType
SOS lower bound for exact planted clique2023-07-12Paper
On CDCL-Based Proof Systems with the Ordered Decision Strategy2022-08-25Paper
Large clique is hard on average for resolution2022-03-21Paper
Fixed-point iterative linear inverse solver with extended precision2021-05-05Paper
On CDCL-based proof systems with the ordered decision strategy2021-04-07Paper
The Birkhoffian expression of a Boltzmann-Hamel equation of nonholonomic system and its generalized symplectic geometric algorithm2013-11-19Paper
https://portal.mardi4nfdi.de/entity/Q49014112013-01-24Paper

Research outcomes over time

This page was built for person: Shuo Pang

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2117103&oldid=6604661"
Powered by MediaWiki