Zhou, Junping

5 publications

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

AAAI 2024 Enhance Diversified Top-K MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract) Jiaxin Liang, Junping Zhou, Minghao Yin

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

AAAI 2011 Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems Jian Gao, Minghao Yin, Junping Zhou

AAAI 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