acm.org2 天
New Spectral Algorithms for Refuting Smoothed k-SAT
In this article, we survey recent progress on designing algorithms with strong refutation guarantees for smoothed instances ...
Medicine Buffalo6 天
PhD Recipients
The A-Polynomial and Knot Volume Upadhyay, Aparna Spring 2021 Dr. David Hemmer The Non-Projective part of Modular Representations of Finite Groups. Wang, Biao Spring 2021 Dr. Xiaoqing Li Topics in ...