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 (AAAI, 2010)

An effective GSA based memetic algorithm for permutation flow shop scheduling. - Xiangtao Li; Jianan Wang; Junping Zhou; Minghao Yin (IEEE Congress on Evolutionary Computation, 2010)

New worst upper bound for #SAT - Junping Zhou; Minghao Yin; Chunguang Zhou (CoRR, 2010)

Phase Transitions of Plan Modification in Conformant Planning - Junping Zhou; Minghao Yin (CoRR, 2010)

Phase Transitions of EXPSPACE-Complete Problems. - Junping Zhou; Ping Huang; Minghao Yin; Chunguang Zhou (Int. J. Found. Comput. Sci., 2010)

Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems. - Jian Gao 007; Minghao Yin; Junping Zhou (AAAI, 2011)

A perturb biogeography based optimization with mutation for global numerical optimization. - Xiangtao Li; Jinyan Wang; Junping Zhou; Minghao Yin (Appl. Math. Comput., 2011)

New Worst-Case Upper Bound for #XSAT - Junping Zhou; Minghao Yin (CoRR, 2011)

New Worst-Case Upper Bound for X3SAT - Junping Zhou; Minghao Yin (CoRR, 2011)

The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter. - Junping Zhou; Minghao Yin (FAW-AAIM, 2012)

Phase Transitions of EXPSPACE-Complete Problems: a Further Step. - Junping Zhou; Minghao Yin; Xiangtao Li; Jinyan Wang (Int. J. Found. Comput. Sci., 2012)

Approximate Counting CSP Solutions Using Partition Function. - Junping Zhou; Weihua Su; Minghao Yin (CoRR, 2013)

Internal and External Optical Feedback Effect in Fiber Linear Lasers. - Junping Zhou; Jingming Xia; Yixian Ge; Eric Chernoff (J. Networks, 2013)

New Worst-Case upper Bound for Counting Exact Satisfiability. - Junping Zhou; Weihua Su; Jianan Wang (Int. J. Found. Comput. Sci., 2014)

Phase Transition for Maximum Not-All-Equal Satisfiability. - Junping Zhou; Shuli Hu; Tingting Zou; Minghao Yin (FAW, 2017)

Diversified Top-k Partial MaxSAT Solving. - Junping Zhou; Huanyao Sun; Feifei Ma; Jian Gao 007; Ke Xu 001; Minghao Yin (CoRR, 2017)

An Exact Algorithm for Minimum Weight Vertex Cover Problem in Large Graphs. - Luzhi Wang; Chu-Min Li 001; Junping Zhou; Bo Jin 001; Minghao Yin (CoRR, 2019)

Local search for diversified Top-k clique search problem. - Jun Wu 020; Chu-Min Li 001; Lu Jiang 007; Junping Zhou; Minghao Yin (Comput. Oper. Res., 2020)

Solving diversified top-k weight clique search problem. - Junping Zhou; Chumin Li 001; Yupeng Zhou; Mingyang Li; Lili Liang; Jianan Wang (Sci. China Inf. Sci., 2021)

An improved configuration checking-based algorithm for the unicost set covering problem. - Yiyuan Wang 002; Shiwei Pan; Sameh Al-Shihabi; Junping Zhou; Nan Yang; Minghao Yin (Eur. J. Oper. Res., 2021)

AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis. - Jiaxin Liang; Feifei Ma; Junping Zhou; Minghao Yin (IJCAI, 2022)

LS-DTKMS: A Local Search Algorithm for Diversified Top-k MaxSAT Problem. - Junping Zhou; Jiaxin Liang; Minghao Yin; Bo He (SAT, 2023)

Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract). - Jiaxin Liang; Junping Zhou; Minghao Yin (AAAI, 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)

DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem. - Jiaxin Liang; Junping Zhou; Minghao Yin (AAAI, 2025)