Junping Zhou

3 papers · 2022–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (10)

Conferences

AAAI (2) IJCAI (1)

Top co-authors

Minghao Yin (3) Jiaxin Liang (3) Feifei Ma (1)

Keywords

local search (2) combinatorial optimization (2) propositional satisfiability (1) maxsat solving (1) perturbation strategy (1) diversity maximization (1) allsat solving (1) dpll algorithm (1) non-chronological backtracking (1) diversified search (1) initial assignment (1) component analysis (1)

Papers

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

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

AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis IJCAI 2022