Shiwei Pan

4 papers · 2020–2025 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird

Venues

AAAI (3) IJCAI (1)

Top co-authors

Yiyuan Wang (4) Shaowei Cai (3) Minghao Yin (2) Qingwei Lin (1) Ximing Li (1) Monghao Yin (1) Jiejiang Chen (1) Mengyu Zhao (1)

Research topics

Mathematics & Optimization (4) Mathematics (4) Optimization (4) Machine Learning (2) Optimization & Theory (2) Computer Science (1) Foundations (1)

Keywords

combinatorial optimization (3) configuration checking (2) local search algorithm (2) search space reduction (1) maxsat solver (1) weighted partial maxsat (1) core-guided solver (1) unsatisfiable core (1) soft clause (1) conflict analysis (1) np-complete problem (1) heuristic algorithm (1) latin square completion (1) conflict value selection (1) vertex selection (1) reduction rule (1) core-guided algorithm (1) latin square (1) maximum quasi-clique (1) weighted graph coloring (1)

Papers

An Efficient Core-Guided Solver for Weighted Partial MaxSAT IJCAI 2025 A Fast Local Search Algorithm for the Latin Square Completion Problem AAAI 2022 NuQClq: An Effective Local Search Algorithm for Maximum Quasi-Clique Problem AAAI 2021 Reduction and Local Search for Weighted Graph Coloring Problem AAAI 2020