Jiongzhi Zheng
7 papers · 2021–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Cross-Pollinator (6) π Conference Polyglot (2) πΊοΈ Taxonomy Completionist (10) π§ Keyword Pioneer π Renaissance Researcher (6)
π
Interdisciplinary Bridge
π₯
Unstoppable
(5)
Conferences
IJCAI (4)
AAAI (3)
Top co-authors
Keywords
combinatorial optimization
(5)
local search
(3)
exact algorithm
(2)
graph coloring
(2)
stochastic optimization
(2)
upper bound
(2)
multi-armed bandit
(1)
traveling salesman problem
(1)
search algorithm
(1)
np-hard problem
(1)
variable assignment
(1)
maxsat solver
(1)
weighted partial maxsat
(1)
maximum k-plex problem
(1)
maximum k-plex
(1)
vertex matching
(1)
clause weighting
(1)
pseudo boolean constraint
(1)
variable strategy
(1)
k-defective clique
(1)
Papers
Exact Algorithms with New Upper Bounds for the Maximum k-plex Problem
IJCAI 2025
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers
IJCAI 2024
KD-Club: An Efficient Exact Algorithm with New Coloring-Based Upper Bound for the Maximum k-Defective Clique Problem
AAAI 2024
Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers
AAAI 2023
BandMaxSAT: A Local Search MaxSAT Solver with Multi-armed Bandit
IJCAI 2022
A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem
IJCAI 2022
Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem
AAAI 2021