Junping Zhou

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 9

Top Topics

Search Algorithm

Combinatorial Optimization

Top Venues

Sci. China Inf. Sci.

Comput. Oper. Res.

Publications

Jiaxin Liang, Junping Zhou, Minghao Yin
Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract). AAAI (2024)
Junping Zhou, Jiaxin Liang, Minghao Yin, Bo He
LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem. SAT (2023)
Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. IJCAI (2022)
Yiyuan Wang, Shiwei Pan, Sameh Al-Shihabi, Junping Zhou, Nan Yang, Minghao Yin
An improved configuration checking-based algorithm for the unicost set covering problem. Eur. J. Oper. Res. 294 (2) (2021)
Junping Zhou, Chumin Li, Yupeng Zhou, Mingyang Li, Lili Liang, Jianan Wang
Solving diversified top-k weight clique search problem. Sci. China Inf. Sci. 64 (5) (2021)
Jun Wu, Chu-Min Li, Lu Jiang, Junping Zhou, Minghao Yin
clique search problem. Comput. Oper. Res. 116 (2020)
Luzhi Wang, Chu-Min Li, Junping Zhou, Bo Jin, Minghao Yin
An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs. CoRR (2019)
Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao, Ke Xu, Minghao Yin
Diversified Top-k Partial MaxSAT Solving. CoRR (2017)
Junping Zhou, Shuli Hu, Tingting Zou, Minghao Yin
Phase Transition for Maximum Not-All-Equal Satisfiability. FAW (2017)
Junping Zhou, Weihua Su, Jianan Wang
New Worst-Case upper Bound for Counting Exact Satisfiability. Int. J. Found. Comput. Sci. 25 (6) (2014)
Junping Zhou, Weihua Su, Minghao Yin
Approximate Counting CSP Solutions Using Partition Function. CoRR (2013)
Junping Zhou, Jingming Xia, Yixian Ge, Eric Chernoff
Internal and External Optical Feedback Effect in Fiber Linear Lasers. J. Networks 8 (9) (2013)
Junping Zhou, Minghao Yin, Xiangtao Li, Jinyan Wang
Phase Transitions of EXPSPACE-Complete Problems: a Further Step. Int. J. Found. Comput. Sci. 23 (1) (2012)
Junping Zhou, Minghao Yin
The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter. FAW-AAIM (2012)
Junping Zhou, Minghao Yin
New Worst-Case Upper Bound for #XSAT CoRR (2011)
Xiangtao Li, Jinyan Wang, Junping Zhou, Minghao Yin
A perturb biogeography based optimization with mutation for global numerical optimization. Appl. Math. Comput. 218 (2) (2011)
Jian Gao, Minghao Yin, Junping Zhou
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems CoRR (2011)
Junping Zhou, Minghao Yin
New Worst-Case Upper Bound for X3SAT CoRR (2011)
Jian Gao, Minghao Yin, Junping Zhou
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems. AAAI (2011)
Junping Zhou, Minghao Yin, Chunguang Zhou
New worst upper bound for #SAT CoRR (2010)
Junping Zhou, Ping Huang, Minghao Yin, Chunguang Zhou
Phase Transitions of EXPSPACE-Complete Problems. Int. J. Found. Comput. Sci. 21 (6) (2010)
Junping Zhou, Minghao Yin, Chunguang Zhou
New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter. AAAI (2010)
Junping Zhou, Minghao Yin
Phase Transitions of Plan Modification in Conformant Planning CoRR (2010)
Xiangtao Li, Jianan Wang, Junping Zhou, Minghao Yin
An effective GSA based memetic algorithm for permutation flow shop scheduling. IEEE Congress on Evolutionary Computation (2010)