1. PPSZ is better than you think;2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS);2022-02
2. An improvement of the algorithm of Hertli for the unique 3SAT problem;Theoretical Computer Science;2020-02
3. PPSZ for
k
≥ 5: More Is Better;ACM Transactions on Computation Theory;2019-09-17
4. On the optimality of exact and approximation algorithms for scheduling problems;Journal of Computer and System Sciences;2018-09
5. Local reduction;Information and Computation;2018-08