PPaperPicks

Junping Zhou

2 papers at tracked venues · 2 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2

Frequent coauthors

Jiaxin Liang
×2
Minghao Yin
×2

Papers

  1. DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem
    AAAI 2025 ·
    Jiaxin Liang
    , Junping Zhou,
    Minghao Yin
  2. Enhance Diversified Top-k MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract)
    AAAI 2024 ·
    Jiaxin Liang
    , Junping Zhou,
    Minghao Yin