Email: jqpeng0[AT]foxmail.com
Biography
I am a Ph.D. student in Computer Science at UESTC since 2021. My supervisor is Prof. Mingyu Xiao. Before I obtained my B.Eng. degree from UESTC in June 2021.
Research Interests
I am interested in the design and analysis of algorithms, especially exact and parameterized algorithms for SAT and its related problems.
Publications
- Junqiang Peng, Mingyu Xiao: Further improvements for SAT in terms of formula length. Inf. Comput. 294: 105085 (2023).
- Junqiang Peng, Mingyu Xiao: Fast Algorithms for SAT with Bounded Occurrences of Variables. IJCAI 2023: 2004-2012.
- Binglin Tao, Mingyu Xiao, Bakhadyr Khoussainov, Junqiang Peng: Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures. INFOCOM 2022: 1109-1118.
- Junqiang Peng, Mingyu Xiao: A Fast Algorithm for SAT in Terms of Formula Length. SAT 2021: 436-452.