Junqiang Peng

According to our database, Junqiang Peng authored at least 17 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions.

Sanjay Jain, Junqiang Peng, Frank Stephan, Haoyun Tang, Mingyu Xiao

CoRR, May, 2026

Faster Parameterized Vertex Multicut.

Huairui Chu, Yuxi Liu, Daniel Lokshtanov, Junqiang Peng, Kangyi Tian, Mingyu Xiao

CoRR, February, 2026

The Complexity of Tournament Fixing: Subset FAS Number and Acyclic Neighborhoods.

Yuxi Liu, Junqiang Peng, Mingyu Xiao

CoRR, February, 2026

Optimal Shielding to Guarantee Region-Based Connectivity Between Multiple Pairs of Nodes.

Binglin Tao, Mingyu Xiao, Junqiang Peng, Zimo Sheng, Bakh Khoussainov

IEEE Trans. Netw., 2026

A fast algorithm for maximum satisfiability above half number of clauses.

Junqiang Peng, Mingyu Xiao

Theor. Comput. Sci., 2026

Better approximation algorithms for clustered TSP and subgroup planning.

Jingyang Zhao, Mingyu Xiao, Junqiang Peng, Ziliang Xiong

Comput. Oper. Res., 2026

Sustained Vertex Cover on Temporal Graphs.

Junqiang Peng, Tian Bai, Jingyang Zhao, Mingyu Xiao

Proceedings of the ACM Web Conference 2026, 2026

How Hard Is It to Rig a Tournament When Few Players Can Beat or Be Beaten by the Favorite?

Zhonghao Wang, Junqiang Peng, Yuxi Liu, Mingyu Xiao

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Systematic Parameter Decision in Approximate Model Counting.

Jinping Lei, Toru Takisaka, Junqiang Peng, Mingyu Xiao

CoRR, April, 2025

Fast exact algorithms for the SAT problem with bounded occurrences of variables.

Junqiang Peng, Mingyu Xiao

Theor. Comput. Sci., 2025

New Algorithms for #2-SAT and #3-SAT.

Junqiang Peng, Zimo Sheng, Mingyu Xiao

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

Improved Approximation Algorithms for Clustered TSP and Subgroup Planning.

Jingyang Zhao, Mingyu Xiao, Junqiang Peng, Ziliang Xiong

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

A Fast Algorithm for MaxSAT above Half Number of Clauses.

Junqiang Peng, Mingyu Xiao

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

Further improvements for SAT in terms of formula length.

Junqiang Peng, Mingyu Xiao

Inf. Comput., October, 2023

Fast Algorithms for SAT with Bounded Occurrences of Variables.

Junqiang Peng, Mingyu Xiao

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures.

Binglin Tao, Mingyu Xiao, Bakhadyr Khoussainov, Junqiang Peng

Proceedings of the IEEE INFOCOM 2022, 2022

2021

A Fast Algorithm for SAT in Terms of Formula Length.

Junqiang Peng, Mingyu Xiao

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021