Junqiang Peng

Affiliations:

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

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

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

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...