Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Junqiang Peng
Observed name:
Peng, Junqiang
Institution:
University of Electronic Science and Technology of China
Observed institution:
University of Electronic Science and Technology of China
ORCID:
0000-0003-2742-5562
Observed ORCID:
0000-0003-2742-5562
OpenAlex ID:
A5046860191
Further improvements for SAT in terms of formula length
2023
·
Junqiang Peng
, Mingyu Xiao
·
Information and Computation
·
7
Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures
2022
·
Binglin Tao
, Mingyu Xiao
, et al.
·
IEEE Conference on Computer Communications (INFOCOM)
·
7
A Fast Algorithm for SAT in Terms of Formula Length
2021
·
Junqiang Peng
, Mingyu Xiao
·
Lecture notes in computer science
·
7
Better approximation algorithms for clustered TSP and subgroup planning
2026
·
Jingyang Zhao
, Mingyu Xiao
, et al.
·
Computers & Operations Research
·
1
How Hard Is It to Rig a Tournament When Few Players Can Beat or Be Beaten by the Favorite?
2026
·
Zhonghao Wang
, Junqiang Peng
, et al.
·
Proceedings of the AAAI Conference on Artificial Intelligence
·
1
PDF
Optimal Shielding to Guarantee Region-Based Connectivity Between Multiple Pairs of Nodes
2026
·
Binglin Tao
, Mingyu Xiao
, et al.
·
IEEE Transactions on Networking
·
1
Fast Algorithms for SAT with Bounded Occurrences of Variables
2023
·
Junqiang Peng
, Mingyu Xiao
·
International Joint Conference on Artificial Intelligence
·
1
PDF
A fast algorithm for maximum satisfiability above half number of clauses
2026
·
Junqiang Peng
, Mingyu Xiao
·
Theoretical Computer Science
Sustained Vertex Cover on Temporal Graphs
2026
·
Junqiang Peng
, Tian Bai
, et al.
·
International World Wide Web Conference (WWW)
New Algorithms for Parity-SAT and Its Bounded-Occurrence Versions
2026
·
Jain, Sanjay
, Peng, Junqiang
, et al.
·
arXiv (Cornell University)
PDF
Fast exact algorithms for the SAT problem with bounded occurrences of variables
2024
·
Junqiang Peng
, Mingyu Xiao
·
Theoretical Computer Science
A Fast Algorithm for MaxSAT above Half Number of Clauses
2024
·
Junqiang Peng
, Mingyu Xiao
·
International Joint Conference on Artificial Intelligence
PDF
Further Improvements for Sat in Terms of Formula Length
2022
·
Junqiang Peng
, Mingyu Xiao
·
SSRN Electronic Journal
Show more works
View as search
Works count:
14
Citation count:
25
H-index:
3
I10-index:
Year
Topic
Type
