Mingyu Xiao
30 papers
· 2017–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Renaissance Researcher
(6)
π
Interdisciplinary Bridge
π£
Hot Topic Early Bird
π
Conference Polyglot
(2)
π
Academic Marathon
(8)
π§
Keyword Pioneer
π
Cross-Pollinator
(14)
πΊοΈ
Taxonomy Completionist
(24)
π¬
Deep Specialist
(24)
π€
Dynamic Duo
(10)
π§¬
Topic Evolution
π
Keyword Champion
(6)
β
The Questioner
π
Conference Pioneer
π₯
Unstoppable
(9)
ποΈ
Keyword Collector
(109)
β‘
Prolific Year
(5)
π
Century Club
(26)
Conferences
AAAI (17)
IJCAI (13)
Top co-authors
Keywords
combinatorial optimization
(10)
approximation algorithm
(7)
graph theory
(6)
community detection
(3)
traveling tournament problem
(3)
exponential time algorithm
(3)
exact algorithm
(3)
graph algorithm
(3)
traveling salesman problem
(3)
branch and bound
(3)
parameterized algorithm
(3)
approximation ratio
(3)
running time bound
(2)
fixed-parameter tractable
(2)
cnf satisfiability
(2)
mechanism design
(2)
social network
(2)
facility location
(2)
polynomial algorithm
(2)
maximum clique
(2)
Papers
New Algorithms for #2-SAT and #3-SAT
IJCAI 2025
An Improved Upper Bound for SAT
AAAI 2021
Score Aggregation via Spectral Method
IJCAI 2017