Junping Zhou

According to our database, Junping Zhou authored at least 25 papers between 2010 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem.

Jiaxin Liang, Junping Zhou, Minghao Yin

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

2024

Application of Big Data in College Student Education Management Based on Data Warehouse Technology and Integrated Learning.

Junping Zhou, Xueyuan Li

Int. J. e Collab., 2024

Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract).

Jiaxin Liang, Junping Zhou, Minghao Yin

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem.

Junping Zhou, Jiaxin Liang, Minghao Yin, Bo He

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022

AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis.

Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

An improved configuration checking-based algorithm for the unicost set covering problem.

Yiyuan Wang, Shiwei Pan, Sameh Al-Shihabi, Junping Zhou, Nan Yang, Minghao Yin

Eur. J. Oper. Res., 2021

Solving diversified top-k weight clique search problem.

Junping Zhou, Chumin Li, Yupeng Zhou, Mingyang Li, Lili Liang, Jianan Wang

Sci. China Inf. Sci., 2021

2020

Local search for diversified Top-<i>k</i> clique search problem.

Jun Wu, Chu-Min Li, Lu Jiang, Junping Zhou, Minghao Yin

Comput. Oper. Res., 2020

2019

An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs.

Luzhi Wang, Chu-Min Li, Junping Zhou, Bo Jin, Minghao Yin

CoRR, 2019

2017

Diversified Top-k Partial MaxSAT Solving.

Junping Zhou, Huanyao Sun, Feifei Ma, Jian Gao, Ke Xu, Minghao Yin

CoRR, 2017

Phase Transition for Maximum Not-All-Equal Satisfiability.

Junping Zhou, Shuli Hu, Tingting Zou, Minghao Yin

Proceedings of the Frontiers in Algorithmics - 11th International Workshop, 2017

2014

New Worst-Case upper Bound for Counting Exact Satisfiability.

Junping Zhou, Weihua Su, Jianan Wang

Int. J. Found. Comput. Sci., 2014

2013

Internal and External Optical Feedback Effect in Fiber Linear Lasers.

Junping Zhou, Jingming Xia, Yixian Ge, Eric Chernoff

J. Networks, 2013

Approximate Counting CSP Solutions Using Partition Function.

Junping Zhou, Weihua Su, Minghao Yin

CoRR, 2013

2012

Phase Transitions of EXPSPACE-Complete Problems: a Further Step.

Junping Zhou, Minghao Yin, Xiangtao Li, Jinyan Wang

Int. J. Found. Comput. Sci., 2012

The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter.

Junping Zhou, Minghao Yin

Proceedings of the Frontiers in Algorithmics and Algorithmic Aspects in Information and Management, 2012

2011

New Worst-Case Upper Bound for X3SAT

Junping Zhou, Minghao Yin

CoRR, 2011

New Worst-Case Upper Bound for #XSAT

Junping Zhou, Minghao Yin

CoRR, 2011

A perturb biogeography based optimization with mutation for global numerical optimization.

Xiangtao Li, Jinyan Wang, Junping Zhou, Minghao Yin

Appl. Math. Comput., 2011

Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems.

Jian Gao, Minghao Yin, Junping Zhou

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Phase Transitions of EXPSPACE-Complete Problems.

Junping Zhou, Ping Huang, Minghao Yin, Chunguang Zhou

Int. J. Found. Comput. Sci., 2010

Phase Transitions of Plan Modification in Conformant Planning

Junping Zhou, Minghao Yin

CoRR, 2010

New worst upper bound for #SAT

Junping Zhou, Minghao Yin, Chunguang Zhou

CoRR, 2010

An effective GSA based memetic algorithm for permutation flow shop scheduling.

Xiangtao Li, Jianan Wang, Junping Zhou, Minghao Yin

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter.

Junping Zhou, Minghao Yin, Chunguang Zhou

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010