| 2026 | SAT | NLIPSat: Satisfiability-Based Nonlinear Integer Programming Encoding Toolkit (Tool Paper). | Zhengling Yangli, Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu-Min Li |
| 2025 | ECAI | A Novel Lower Bound and Dual Bounds Search for the Minimum Weight Dominating Set Problem. | Hua Jiang, Wentao Luo, Zhifei Zheng, Shengfa Miao, Cheng Xie |
| 2025 | EMNLP | Confusion is the Final Barrier: Rethinking Jailbreak Evaluation and Investigating the Real Misuse Threat of LLMs. | Yu Yan, Sheng Sun, Zhe Wang, Yijun Lin, Zenghao Duan, Zhifei Zheng, Min Liu, Zhiyi Yin, Jianping Zhang |
| 2025 | ICTAI | Integer Linear Programming Preprocessing for Maximum Satisfiability. | Jialu Zhang, Chu Min Li, Sami Cherif, Shuolin Li, Zhifei Zheng |
| 2025 | JELIA | Maximum Satisfiability Formulations for Nonlinear Integer Programming. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang |
| 2025 | JELIA | Exact Approaches for the Diverse Satisfiability Problem. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki, Chu Min Li, Jialu Zhang |
| 2024 | ICTAI | Optimizing Power Peaks in Simple Assembly Line Balancing Through Maximum Satisfiability. | Zhifei Zheng, Sami Cherif, Rui Sa Shibasaki |
| 2023 | IJCAI | A Refined Upper Bound and Inprocessing for the Maximum K-plex Problem. | Hua Jiang, Fusheng Xu, Zhifei Zheng, Bowen Wang, Wei Zhou |
| 2023 | IJCAI | An Exact Algorithm for the Minimum Dominating Set Problem. | Hua Jiang, Zhifei Zheng |