Login / Signup
Junqiang Peng
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Data Mining Techniques
Orders Of Magnitude
Stochastic Local Search Algorithms
Satisfiability Problem
Top Venues
Inf. Comput.
IJCAI
</>
Publications
</>
Junqiang Peng
,
Mingyu Xiao
Further improvements for SAT in terms of formula length.
Inf. Comput.
294 (2023)
Junqiang Peng
,
Mingyu Xiao
Fast Algorithms for SAT with Bounded Occurrences of Variables.
IJCAI
(2023)