Bang-Sheng Tang

Available identifiers

zbMath Open tang.bangshengMaRDI QIDQ2637285

List of research outcomes

Publication	Date of Publication	Type
Exponential lower bounds for the PPSZ \(k\)-SAT algorithm	2019-05-15	Paper
Width-parametrized SAT: time-space tradeoffs	2015-02-03	Paper
Some trade-off results for polynomial calculus (extended abstract)	2014-08-07	Paper
On isomorphism testing of groups with normal Hall subgroups	2014-02-11	Paper
Some remarks on the incompressibility of width-parameterized SAT instances	2012-07-16	Paper
On isomorphism testing of groups with normal Hall subgroups	2012-01-23	Paper

Research outcomes over time

This page was built for person: Bang-Sheng Tang