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
DBLP profile ↗ORCID search ↗
×2

Papers

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