PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Chen, Shiteng"

Author of the publication

copydeleteadd this publication to your clipboard
Width-Parametrized SAT: Time--Space Tradeoffs.

, , , , and . Theory of Computing, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jingshan Chen University of Stuttgart

Optimization-based trajectory planning for transport collaboration of heterogeneous systems, , , and . Automatisierungstechnik, 72 (2): 80-90 (2024)

Univ. -Prof. Dr. Po Wen Cheng University of Stuttgart

The Impact of Unsteadiness on the Aerodynamic Loads of a Floating Offshore Wind Turbine, , , , and . EERA Deepwind Conference 2023, 2626, page 012064. Institute of Physics, (2023)

Hong Chen University of Stuttgart

Yiyin Chen University of Stuttgart

Jun Chen University of Stuttgart

 

Other publications of authors with the same name

On the power of dominated players in team competitions., , and . CoRR, (2016)Exploring Efficient Strategies for Minesweeper., , , , and . AAAI Workshops, volume WS-17 of AAAI Technical Report, AAAI Press, (2017)Correlation lower bounds from correlation upper bounds., and . Inf. Process. Lett., 116 (8): 537-540 (2016)Reconstructing Numbers from Pairwise Function Values., , and . ISAAC, volume 5878 of Lecture Notes in Computer Science, page 142-152. Springer, (2009)From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge Between Graphs and Alternating Matrix Spaces., , , , and . ITCS, volume 151 of LIPIcs, page 8:1-8:48. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Exponential Lower Bounds for the PPSZ k-SAT Algorithm., , , and . SODA, page 1253-1263. SIAM, (2013)Width-Parametrized SAT: Time--Space Tradeoffs., , , , and . Theory of Computing, (2014)Time-space tradeoffs for width-parameterized SAT: Algorithms and lower bounds., , , , and . Electronic Colloquium on Computational Complexity (ECCC), (2012)Depth-reduction for composites., and . Electronic Colloquium on Computational Complexity (ECCC), (2016)Data Structure Lower Bounds on Random Access to Grammar-Compressed Strings, , and . CoRR, (2012)