Zheng, Jiongzhi

7 publications

IJCAI 2025 Exact Algorithms with New Upper Bounds for the Maximum K-Plex Problem Jiongzhi Zheng, Mingming Jin, Kun He

AAAI 2024 KD-Club: An Efficient Exact Algorithm with New Coloring-Based Upper Bound for the Maximum K-Defective Clique Problem Mingming Jin, Jiongzhi Zheng, Kun He

IJCAI 2024 Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers Jiongzhi Zheng, Zhuo Chen, Chu-Min Li, Kun He

AAAI 2023 Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers Jiongzhi Zheng, Kun He, Jianrong Zhou

IJCAI 2022 A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem Jianrong Zhou, Kun He, Jiongzhi Zheng, Chu-Min Li, Yanli Liu

IJCAI 2022 BandMaxSAT: A Local Search MaxSAT Solver with Multi-Armed Bandit Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li, Felip Manyà

AAAI 2021 Combining Reinforcement Learning with Lin-Kernighan-Helsgaun Algorithm for the Traveling Salesman Problem Jiongzhi Zheng, Kun He, Jianrong Zhou, Yan Jin, Chu-Min Li