Shiwei Pan
4 papers
· 2020–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
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)