Junqiang Peng

Affiliations:

University of Electronic Science and Technology of China, Sichuan, China

According to our database¹, Junqiang Peng authored at least 9 papers between 2021 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

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

[BibT_eX]

[DOI]

Junqiang Peng

Zimo Sheng

Mingyu Xiao

CoRR, July, 2025

Systematic Parameter Decision in Approximate Model Counting.

[BibT_eX]

[DOI]

CoRR, April, 2025

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

[BibT_eX]

[DOI]

Junqiang Peng

Mingyu Xiao

Theor. Comput. Sci., 2025

Improved Approximation Algorithms for Clustered TSP and Subgroup Planning.

[BibT_eX]

[DOI]

Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025

2024

A Fast Algorithm for MaxSAT above Half Number of Clauses.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Junqiang Peng

Mingyu Xiao

Inf. Comput., October, 2023

Fast Algorithms for SAT with Bounded Occurrences of Variables.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2022, 2022

2021

A Fast Algorithm for SAT in Terms of Formula Length.

[BibT_eX]

[DOI]

Junqiang Peng

Mingyu Xiao

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

Junqiang Peng

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...