Shiwei Pan
4 papers · 2020–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (5) 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird
🐝
Cross-Pollinator
(15)
Conferences
AAAI (3)
IJCAI (1)
Top co-authors
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